a:link {text-decoration: none; color:#009900}
a:visited {text-decoration: none; color:#009900}

body {
	background: #FFFFFF;
	color:#003300;
	font-size: 10pt;
	font-family: Comic Sans MS, cursive, fantasy, sans-serif; 
}

.menu{
	background: #009900;
	color: white;
	text-align:left;
	font-size: 10pt;
}
.submenu {
	padding: 0px;
	margin:0px;
	color: white; 
	text-align:left;
	border: 1px solid #666633;
	font-size: 8pt;
}
.submenu td{
	border: 1px solid #666633;
	background: #CCCC99;
	background: #ccffcc;
}
.menu a:visited, .menu a:link {
	color: white;
	text-decoration: none;
}
.submenu a:link,.submenu a:visited  {
	color: black;
	text-decoration: none;
}
a:hover, .submenu a:hover, .menu a:hover {
	color:#CCFF99;
	color:#003399;
	color:#0000FF;
}

.serprest{ 
	font-size: 300%; 
	color: #007000;
	background: #CCFFCC;
	text-align: center;	
}
div {
	margin:0.5em;
	margin-top:1em;
}
.serprest:first-letter{ 
	color: red;
}
pre {
	color:#660000;
	margin-left:4em
}