body {  
	background-color: #006;
	margin:0px;
	padding:0px;
}

.hidden {
	display:none;
	}

/* content box */

.content {
	position:absolute; 
	left:170px; top:20px; right:70px;
   	background-color:#DDD; color: black; 
	font: 15px serif; 
	padding: 10px;
   	border: 2px inset #DDD;
	z-index:3;
}

pre.content { background-color:#FFF; padding:10px; border: solid 1px black;}

/* navigation bar */

#nav {
	position:absolute; 
	top:20px; left:0px; width:160px;
	padding-left:10px; padding-right:0px;padding-top:0px; padding-bottom:10px;  
	color:#EEE; text-align: left;
	font-family: sans-serif; font-size: 12px;
}

html>body #nav {	/* this will not be used by IE6 and IE5 */
	position:fixed;
	width:150px;
}

#nav p, #nav h1, #nav h2, #nav h3 { 
	border:none;
	margin: 1px;
	margin-top: 5px;
}  

#nav a {
	display:block;
   	background-color:#999;
	padding: 1px;
	margin-top: 2px;
	border: outset 1px grey;
   	text-decoration: none;
	text-align: center;
	color:white;	
}

#nav a:hover {border: groove 1px grey;}
#nav a:active {border: inset 1px grey;}
#nav hr { display: none; }