/* CSS Document */


body        {font-family:      Arial, Helvetica, sans-serif;
             background-color: white;  font-size: 10pt;
             font-weight:      normal; 
	     color:            black; }
:link       {color: black;   text-decoration: none;}
:visited    {color: black;   text-decoration: none;}
:active     {color: black;   text-decoration: none;}
a:hover     { font-style: default; text-decoration: none; font-size: default; font-family: Arial; 
             font-weight: default; color: #990000; background-color: default}

.black:link, 
.black:visited {color:#FFFFFF;text-decoration:none;}
.black:active {color:#FFFFFF;text-decoration:none;}
.black:hover {color:#990000;text-decoration:none;}


.menu:link, 
.menu:visited {color:black;text-decoration:none;}
.menu:active {color:black;text-decoration:none;}
.menu:hover {color:black;text-decoration:underline;}




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

h1          {color:       #000000; 
             font-style: normal;   font-weight: bold; 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:       #669900; 
             font-style: normal;   font-weight: bold; font-size: 12pt; line height: 14pt; font variant: normal;}

P { font-size: 9pt; }
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: #666666; 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: #999999}
.note       {color: #ff0000; 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; }