@media print {
	#topnav,#bottomnav {
		display:none;
	}
}
body {
	font-size:95%;
	font-family:sans-serif;
}
pre {
	padding:0.5em 1em;
	background:#ddd;
	font-family:'lucida mono', terminal, console, monospace;
}
#maincontainer{
	padding:.5em 1em;
	max-width:54em;
}
h1,h2,h3,h4,h5,h6 {
	margin:0 0 0 0;
	text-align:left;
}
h1 {
	font-size:2.3em;
	border-top:5px double #000;
	padding:.2em 0;
}
h2 {
	font-size:2.0em;
	border-top:3px solid #000;
	margin-top:1em;
	padding:.2em 0;
}
h3 {
	font-size:1.7em;
	border-top:1px solid #000;
	padding:.2em 0;
}
h4 {font-size:1.4em;}
h5 {font-size:1.1em;}
h6 {font-size:1.0em;}

p {
	margin-top:.2em;
}
a:hover {
	text-decoration:none;
}
li {
	margin-bottom:.3em;
}
.small {
	font-size:80%;
}
#topnav {
	margin-bottom:1em;
	font-size:10px;
}
#bottomnav {
	border-top:5px double black;
	padding-top:.7em;
	margin-top:1em;
	font-size:8px;
}
#topnav ul, #bottomnav ul {
	margin:0;
	padding:0;
}
#topnav li,#bottomnav li {
	display:inline;
	margin:0;
	padding:0;
}