body {
		color: black; background: white; 
		margin-left: 10%; margin-right: 10%;
		font-family:verdana,helvetica,sans-serif;
}
th,td,dl,ul,p,blockquote {
		font-size:9pt;
 		font-family:verdana,helvetica,sans-serif; 
}
h1,h2,h3,h4,h5 {
 		font-family:verdana,helvetica,sans-serif; 
}
h1 {
	font-size:200%;
}
tt,pre {
		color: black; background: white; 
		font-size:12px;
		font-family:monospace;
}

ul.nav {
		margin-left:-8%;
		font-size:100%;
}
/* a.big {
	font-size:150%;
	color: orange;
	text-transform: uppercase;
} 
 */