html {
	margin: 0; 
	padding: 0;}
body {
	margin: 0; 
	padding: 0; 
	font-family: verdana, sans-serif; 
	font-size: 80%; 
	background: #c0c0c0}
pre {
	margin: 0; 
	font-family: verdana, sans-serif; 
	font-size: 12px;}
a {
	color: #000;
    text-decoration: none;
}
a:hover {
	text-decoration: underline; 
	color: #800082;
}
.alignright {
	margin-top: 0; 
	text-align: right;}
.return {
	position: absolute; 
	top: 0; 
	right: 0; 
	text-align: right; 
	padding: 12px;}
h1, h2 {
	font-family: Georgia, 'Times New Roman', Times, serif;
	font-size: 25px;
	margin: 0;
	color: #800082;
	background-color: #999999; 
	border-top: 2px solid #000000;
	border-bottom: 2px solid #000000;}
div#leftbox {
	position: absolute;
	left: 5px;
	color: #000000;
	padding-top: 10px;}
#middlebox {
	margin: 0 145px 0 140px;
	border-left: 2px solid #000000;
	border-right: 2px solid #000000;
	padding: 10px;
	background-color: #f5f5f5;}
div#rightbox { 
	position: absolute;
	right: 0px;         
	width: 140px;
	color: #800082;
	padding-top: 10px;}
div#menu {
	display: none;	
	}
dt { 
	margin-top: 2px; 
	margin-bottom: 2px;
	margin-left:10px; 
	}  
dd { 
	margin-top: 2px; 
	margin-bottom: 2px;
	margin-left:28px; 
	} 
button {
  color: #800082;
  font-weight: normal;
  font-size: 110%;
}
h4 {
 	margin-left:10px; 
	font-weight: normal;
	text-decoration: underline; }
}