h1,h2,h3,h4,h5,h6,p,body {font-family:Helvetica,Arial,FreeSans;}

code, pre {font-size:15;}

.mainmenu {
	padding: 1px 0;
	background-color: #ecf3f9;
}
.mainmenu a {
    text-decoration: none;
	padding: 1px 6px;
}
.mainmenu a.highlight {
	color: white;
	background-color: #1c1ca0;
}
.mainmenu a:hover {
	color: white;
	background-color: #3f6fff;
}