a:link, a:visited, a:active {
	text-decoration: none;
}

a:hover {
	background: transparent;
	text-decoration:underline;
}

body {
	background: #efefef;
	padding: 4%;
	font-family: arial, helvetica, sans-serif;	
}

.mono{
	font-family: courier, fixed, terminal;	
}

.blue{
	background:#40638e;
}

.mainbody{
	padding: 5%;
	text-align: justify;
}

.author{
	font-size: 60%;
	padding: 10px;	
}

#menu{
	padding: 10px;
	font-weight: bold;
	background:#40638e;
}

#menu a:link, #menu a:visited, #menu a:active{
	color:#000066;
	text-decoration:none;
}

#menu a:hover{
	color: #efefef;
	text-decoration:none;
}

#current a:link, #current a:visited, #current a:active, #current a:hover{
	color:#efefef;
	text-decoration:none;
}

#submenu{
	padding-left: 10px;
}