/* CSS Document */


body        {font-family:      Helvetica, Arial;  
             background-color: #990000;  
             font-weight:      normal; font-size: 18px;
	     color:            #FFFFFF;   }
		 
p {font-family:  Helvetica, Arial;
font-size: 10px;
} 	 
		 

a:link       {color: #FFFFFF;   text-decoration: none;}
a:visited    {color: #FFFFFF;   text-decoration: none;}
a:hover     {color: #990000; text-decoration: overline; font-size: default; font-family: Arial; font-weight: default; } 
a:active     {color: #FFFFFF;   text-decoration: none;}

.header:link { color: #000000; text-decoration: none;}
.header:visited { color: #000000; text-decoration: none;}
.header:hover { color: #000000; text-decoration: none;}
.header:active { color: #000000; text-decoration: none;}


input, textarea, select {
  background-color : #990000;
  color : #fff;
}


h1,h2,h3,h4,div  {font-family: Helvetica, Arial}

h1          {color:       #000000; 
             font-style: Arial;   font-weight: normal; font-size: 12pt; line height: 14pt; font variant: normal;}
h2          {color:      #000000; 
             font-style: normal;   font-weight: bold; font-size: 10pt; line height: 12pt; font variant: normal;}
h3          {text-align: left;   color:       #000000; 
             font-style: normal;   font-weight: bold; font-size: 12pt; line height: 14pt; font variant: normal;}

P { font-size: 10pt; }
BLOCKQUOTE { font-size: larger }
EM { font-size: 150% }
EM { font-size: 1.5em }










span.name   {font-size: normal}
div.outline {text-align: center;  font-family: arial, helvetica, sans-serif}
span.header {font-size: smaller; color: #000000; font-family: Arial, helvetica}
div.body    {margin-left: 10%; margin-right:10%;}
pre.example {color: red; font-weight: bold}
p.example   {text-align: right;}
span.extras {color: #000000}
.note       {color: #000000; text-align: center; 
	     border: 2px solid black;
	     border-width: 2px;}
code        {font-family: 'courier new', courier, monospace; 
	     font-size: 100%;}
.hi         {font-weight: normal; color: green; }