body {
	font:	12px/1.2 Verdana, Arial, Helvetica, sans-serif;
	background:#FFFFCC;
	padding:0px;
	margin:0px;
	}
	
a {
	text-decoration:none;
	font-weight:bold;
	color:#660000;
	}
	
pre {
	font-size:11px;
	color:blue;
	}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
	}
li {
	margin-bottom:10px;
	}
table {
	font:	10px/1.2 Verdana, Arial, Helvetica, sans-serif;
	}