body {
	width:600px;
	margin:auto auto;
	background-color:#ffffff;
	line-height: 120%;
}

img {border:none;}
pre {
	background-color:#f0f0fe;
}
.header p {
	border-bottom:1px dotted #999;
	color: #555;
	font-family:helvetica,sans-serif;
	font-size:81%;
	margin-top:0;
	margin-bottom:2px;	
}

h1, h2, h3, h4 {
    line-height:120%;
    font-family:helvetica,sans-serif;
    color:#444;
}

p.fineprint {font-size:75%; color: #666;}

a {font-size:90%;}