/* Standard styles for most documents */

body
{
	font-family: Verdana,Arial,Helvetica,sans-serif;
	font-weight: normal;
	font-style: normal;
	font-size: medium;
	line-height: normal;
	color: black;
	background-color: rgb(239, 239, 239);
	border-left: 1px solid #cccccc;
	border-right: 1px solid #cccccc;
	padding: 0em 1em 0em 1em;
	width: 954px;
	margin-left:auto;
	margin-right:auto;
}

h1
{
	font-weight: bold;
	font-size: 175%;
	line-height: 200%;
}

h2
{
	font-weight: bold;
	font-size: 150%;
	line-height: 200%;
}

h3
{
	font-weight: bold;
	font-size: large;
	line-height: 200%;
}

h4
{
	font-style: italic;
	font-weight: bold;
	font-size: large;
	line-height: 100%;
}

ol { list-style-type: decimal; }
ol li ol { list-style-type: upper-latin; }
ol li ol li ol { list-style-type: lower-latin; }
ul { list-style-type: disc; }

hr { width: 100%; height: 1px; }

/* General properties */
.indented_left_red 
{
	margin-left: 40px;
	color: red;
	background-color: rgb(239, 239, 239);
}

.underline_text { text-decoration: underline; }
.bold_text { font-weight: bold; }
.italic_text { font-style: italic; }
.italic_bold_text {font-style: italic; font-weight: bold; }
.red_text { color: rgb(255, 0, 0); background-color: rgb(239, 239, 239); }
.blue_text { color: rgb(0, 0, 255); background-color: rgb(239, 239, 239); }
.pink_text { color: rgb(255, 153, 255); background-color: rgb(239, 239, 239); }
.red_text_2 { color: rgb(255, 0, 0); background-color: #E8E8E8; }
.pink_text_2 { color: rgb(255, 20, 252); background-color: #FFFFCC; }

.new
{
	color: rgb(255, 0, 0);
	background-color: rgb(239, 239, 239);
	font-weight: bold;
	text-transform: uppercase;
	text-decoration: blink;
}

.superscript { font-size: x-small; vertical-align: super; }
.striken { text-decoration: line-through; }

.def
{
	font-weight: bold;
	color: red;
	background-color: #FFCC99;
}

/* Pseudo-Classes */
p.dropcap:first-letter
{
	font-size: 500%;
	font-weight: bold;
	color: #5D73C3;
	background-color: rgb(239, 239, 239);
}

