body {
	font: 12px/1.2 Verdana, Arial, Helvetica, sans-serif;
	background: #ddd;
	padding: 0px;
	margin: 0px;
	background-image: url(bluedots.gif);
}
	
a {
	text-decoration: none;
	font-weight: bold;
	color: #D2691E;
}
	
pre {
	font-size: 11px;
	color: #1ED2C7;
}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
	}
li {
	margin-bottom:10px;
	}