body {
	font:	12px/1.2 Verdana, Arial, Helvetica, sans-serif;
	background:#DCDFE4;
	padding:0px;
	margin:0px;
	}
	
	
pre {
	font-size:11px;
	color:blue;
	}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
	}
li {
	margin-bottom:10px;
	}

	a:link.footer {color: #3C5498; font: 11px Verdana, Arial, Helvetica, sans-serif normal; }
	a:active.footer {color: #3C5498; font: 11px Verdana, Arial, Helvetica, sans-serif normal;}
	a:hover.footer {color: #3C5498; font: 11px Verdana, Arial, Helvetica, sans-serif normal; }
	a:visited.footer {color: #3C5498; font: 11px Verdana, Arial, Helvetica, sans-serif normal; text-decoration: none;}