body { {
	font:	12px/1.2 Verdana, Arial, Helvetica, sans-serif;: 
	background:#ddd;: 
	padding:0px;: 
	margin:20px 20px 0px 20px;: 
	}: 
	: a { {
	text-decoration:none;: 
	font-weight:bold;: 
	color:#c00;: 
	}: 
	: preObso { {
	font-size:11px;: 
	color:blue;: 
	}: 
	: pre { {
	background-color: beige;: 
	border: 1px dotted #000;: 
	margin: 1em 5em 0em 5em;: 
	padding: 1em 1em 1em 1em: 
	}: .greek { {
	color:#999;: 
	}: 
	: ol { {
	margin-right:40px;: 
	}:  {li { {
	margin-bottom:10px;: 
	}:  {#main { {
	border:1px solid #000; : 
	background:#fff;: 
	}:  {/* 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 dashed #000; : 
	border-bottom:1px dashed #000;: 
	float:right;: 
	width:230px;: 
	background:#eee;: 
	margin:0px 0px 10px 10px;: 
	}: 
	: p,h1,pre { {
	margin:0px 10px 10px 10px;: 
	}: 
	: h1 { {
	font-size:14px;: 
	padding-top:10px;: 
	}:  {#menu p { font-size:10px} }