body {	background-color: white;font-family: "Times New Roman", "Times", "serif"}
ol {	color: black;	text-align: justify;}
h4 {	font-family: "Times New Roman", "Times", "serif"}
.menu { FONT-FAMILY: "Arial", "Helvetica", "sans-serif"}
.example {	background-color: #FFFFCC;}
.right {	text-align: right;}
.left {	text-align: left;}
.center {	text-align: center;}
pre		{ border: 1pt solid black; padding: 5pt }
pre		{ background-color: lightyellow }
pre		{ white-space: pre }
pre		{ FONT-FAMILY: "andale mono", "monotype.com", "courier new", monospace}
INPUT {	FONT-FAMILY: arial,helvetica,sans-serif}
TEXTAREA {	FONT-FAMILY: arial, helvetica, sans-serif; WIDTH: 100%}
.nav {	color: #000000;	font-weight: bold;	text-decoration: none;	font-size: 80%;	font-family: Verdana, "Lucida Sans", Arial, Geneva, Helvetica, Helv, "Myriad Web", Syntax, sans-serif;}
.title {	color: #000000;	font-weight: bold;	text-decoration: none;	font-size: 80%;	font-family: "Geneva", "Arial", "Helvetica", "san-serif";}
.small {	color: #000000;	font-size: 60%;	font-family: "Verdana", "Arial", "Helvetica", "sans-serif";}
.footnote { font-family:"Times New Roman", "Times", "serif"; font-size:80%; italic;}
.vivid {  font-family: "Comic Sans MS", "Arial", "Times New Roman"}

h1 { font-family: "Times New Roman", "Times", "serif"} h2 { font-family: "Times New Roman", "Times", "serif"} h3 { font-family: "Times New Roman", "Times", "serif"} 
p { text-align: justify; } ul { text-align: justify; }
a:link {  color: #0000FF}
a:visited {  color: #660066}
a:hover {  color: #FF0000;}