@media print {
	#topnav,#bottomnav {
		display:none;
	}
}
body {
	font-size:95%;
	font-family:sans-serif;
	line-height:1.2;
}
pre {
	padding:0.5em 1em;
	background:#ddd;
	font-family:'lucida mono', terminal, console, monospace;
	overflow-x:auto;
}
#maincontainer{
	padding:.3em;
	max-width:54em;
}
h1,h2,h3,h4,h5,h6 {
	margin:0 0 .5em 0;
	padding:0;
	text-align:left;
}
h1 {
	font-size:130%;
	border-top:5px double #000;
	padding:.3em 0;
}
h2 {
	font-size:120%;
	border-top:3px solid #000;
	margin-top:1em;
	padding:.3em 0;
}
h3 {
	font-size:115%;
	border-top:1px solid #000;
	padding:.3em 0;
	margin-top:1em;
}
h4 {font-size:110%;}
h5 {font-size:105%;}
h6 {font-size:100%;}

p {
	margin-top:.2em;
}
a:hover {
	text-decoration:none;
}
ul, ol {
	margin:0 0 .8em .8em;
	padding:0 0 0 .4em;
}
li {
	margin:0 0 .5em .5em;
	padding:0 0 0 0;
}
img {
	max-width:98%;
}
.small {
	font-size:80%;
}
#topnav {
	margin-bottom:1em;
	font-size:85%;
}
#bottomnav {
	border-top:5px double black;
	padding-top:.7em;
	margin-top:1em;
	font-size:80%;
}
#topnav ul, #bottomnav ul {
	margin:0;
	padding:0;
	text-align:center;
}
#topnav ul:nth-child(2) {
	margin-top:.8em;
	padding-top:.3em;
	border-top:1px dashed #474852;
}
#topnav li,#bottomnav li {
	display:inline-block;
	margin:0;
	padding:0 .4em .4em 0;
}

@media only screen and (max-device-width: 800px) {
	#topnav, #bottomnav {
		font-size:90%;
	}
	#topnav li, #bottomnav li {
		padding:0 1.2em .8em 0em;
	}
}