html {background: black;}
body {position: relative; margin: 0; padding: 0; background: black;}

div#header h1 {margin: 0; padding: 10px; text-align: right; background: #BCF; 
	color: #024; letter-spacing: 0.3em; text-transform: lowercase; font: bold 1.5em sans-serif; 
	height: 25px; vertical-align: middle; white-space: nowrap; position: fixed; z-index: 2;
	border: solid #024; left: 80px;} 
	
div#content {background: #468; position: absolute; top: 40px; left: 161px; right: 25px; color: #EED; 
	font: 0.8em Verdana, sans-serif; padding: 5px 5px 5px 10px; border: solid #024;
	z-index: 1}
div#content p {margin: 0 1em 1.2em;}
div#content h3 {margin-left: 0.40em; margin-bottom: 0.20em;}
div#content a:link {color: white;}
div#content a:visited {color: #BBC;}
div#content a:link:hover {color: #FF0;}
div#content a:visited:hover {color: #CC0;}
div#content li {margin: 1em 1em 1em;}
div#content a.section {display: block; margin-bottom: 10ex;}
div#content a.hacker {text-decoration: none;}

div#menu {position: absolute; top: 80px; left: 0; width: 160px; 
	font: bold 1em sans-serif; position: fixed;}
div#menu a:hover {color: #023; background: #CEF;}
div#menu a {background: #024; display: block; text-align: center;
	padding: 5px 10px; margin: 0 0 2px; border-width: 0; text-decoration: none; color: #CDF;}
div#menu a.chosen {background: #CEF;
	display: block; text-align: center; font: bold 1em sans-serif; padding: 5px 10px; 
	margin: 0 0 2px; border-width: 0; text-decoration: none; color: #024;}

div#submenu a {margin-left: 40px; font-size:60%;}

pre {border: solid 2px; color: #EDC; font-family: monospace; padding: 1ex;}
code {font-family: monospace;}
table {margin: 1em 2em 1em; border-collapse: collapse; border-spacing: 0;}
td {padding: 3px 6px 3px; border: solid 1px;}
tr.tableheading {font-weight: bold; text-transform: uppercase;}
td.tableheading {font-weight: bold; text-transform: uppercase;}
a img {border: none;}