body {
	margin:0px;
	padding:0px;
	font-family: Comic Sans MS, Verdana, Helvetica, Arial, sans-serif;
	SIZE:16PT;
	background-color: #003300;
	overflow:auto; 
	}
h1 {
	clear: both;
	margin:0px 0px 15px 0px;
	padding:0px;
	font-size: 150%;
	line-height:28px;
	font-weight:900;
	color: black;
	}
h2 {
	clear: both;
	margin:10px 0px 15px 0px;
	padding:0px;
	line-height:24px;
	font-weight:400;
    color: black;
    background-color: #FF8000;
	font-size: 125%;
	}
h3 {
	clear: both;
	margin:10px 0px 15px 0px;
	padding:0px;
	line-height:20px;
	font-weight:bold;
	font-size: 100%;
	}
/*
p, form, ul, ol, dl, table, td, tr, th, #Menu, #Header, #uploadform {
	font:12px/20px Comic Sans MS, verdana, arial, helvetica, sans-serif;
	margin:0px 0px 16px 0px;
	padding:0px;
	}
form.inline {
	font:12px/20px Comic Sans MS, verdana, arial, helvetica, sans-serif;
	margin:0px 0px 0px 0px;
	padding:0px;
}
#message {
	font:12px/20px Comic Sans MS, verdana, arial, helvetica, sans-serif;
    color: red;
	margin:0px 0px 0px 0px;
	padding:0px;
}
#result {
	font:12px/20px Comic Sans MS, verdana, arial, helvetica, sans-serif;
    color: red;
}
.markerinfo {
	font:10px/18px Comic Sans MS, verdana, arial, helvetica, sans-serif;
	margin:0px 0px 0px 0px;
	padding:0px;
	}
div.shorthelp {
	font:9px/12px Comic Sans MS, verdana, arial, helvetica, sans-serif;
	padding: 2px;
	border:0px solid #00FF80;
	}

pre, code {
	font:12px/20px 'Lucida Console', monospace;
	margin:0px 0px 16px 0px;
	padding:0px;
 	background-color: #EEEEEE;
 	color: #000000;
	}
p.definition {
	clear: both;
	text-align: center;
	border-right: 1px solid #A2B7C5; 
	border-left: 1px solid #A2B7C5; 
	border-top: 1px solid #A2B7C5; 
	border-bottom: 1px solid #A2B7C5; 
	font-weight:bold; 
	margin:16px 2px 16px 2px;
	padding:0px;
	}
p.intro {
	font-weight:bold; 
	font-style:italic; 
	}
p.bookref {
	font-weight:bold; 
    font-size: x-small;
    }
.highlight {
	background-color: #FFC14E;
	}
p.left {
	clear: left;
	}
*/
a:link {
	color: #FFFFFF;
	}
a:visited {
	color: #FFFFFF;
	}
a:hover {
	color: #00FF00;
	}
a.intern:link {
	color: #FFFFFF;
	}
a.intern:visited {
	color: #FFFFFF;
	}
a.intern:hover {
	color: #00FF00;
	}

#Header {
	margin:5px 0px 5px 0px;
	padding:10px 10px 10px 20px;
	/*height:33px; 14px + 17px + 2px = 33px */
	border-style:solid;
	border-color:black;
	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
	line-height:11px;
	background-color:#00FF80;
	}