body {
	margin:20px 20px 0px 20px;
	font:	12px/1.2  Tahoma, Verdana, Helvetica, Arial, Verdana sans-serif;
	background:ccc;
	padding:0px;
	margin:0px;
	}
		
#main {
		border:1px solid #000; 
		background:#fff;
		}

a {
	text-decoration:none;
	font-weight:bold;
	color:blue;
	}
	
pre {
	font-size:11px;
	color:blue;
	}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
	}
li {
	margin-bottom:10px;
	}
	
	

/* Looks like you have to specify the width of #menu
or IE5 Mac stretches it all the way across the div, and 
Opera streches it half way. */

	#main #menu {
		border-left:1px solid #000; 
		border-bottom:1px solid #000;
		float:right;
		width:230px;
		background:ccc;
		margin:0px 0px 10px 10px;
		}
		
	p,h1,h2,pre {
		margin:0px 10px 10px 10px;
		}
		
	h1 {
		font:Helvetica, Arial, Verdana;
		font-size:20px;
		padding-top:10px;
		padding-bottom:10px;
		padding-left:5px;
		color:#00f;
		background-color:#ff0;
		}
		
				
	h2 {
		font-size:14px;
		font-style:italic;
		padding-top:10px;
		color:navy;
		}
	
	#menu p { font-size:10px}
	
 #navlist ul
{
margin-left: 0;
padding-left: 0;
white-space: nowrap;
}

#navlist li
{
display: inline;
list-style-type: none;
}

#navlist a { padding: 3px 10px; }

#navlist a:link, #navlist a:visited
{
color: #fff;
background-color: #036;
text-decoration: none;
}

#navlist a:hover
{
color: #fff;
background-color: #369;
text-decoration: none;
}