body { max-width: 800px; 
 background: grey; 
 font-family: Verdana, sans-serif; 
 margin: 3em; }
h1 { font-size: 1.6em; }
.eof { font-size: 0.7em; }