body {
	font:	12px/1.2 Verdana, Arial, Helvetica, sans-serif;
	background:#ffffff;
	background-image:url(images/page2_header.gif);
	background-repeat:repeat-x;
	padding:5px;
	margin:3px;
	}
	
a {
	font-weight:bold;
	color:#006600;
	}
	
.link {
	font-weight:bold;
	color:#ffffff;
	}
	
	
	
	
pre {
	font-size:11px;
	color:blue;
	}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
	}
li {
	margin-bottom:10px;
	}
	
.small {font-size:9px;
}