body{margin:1em auto;max-width:40em;padding:0 .62em;font:1.2em/1.62 serif;}
h1,h2,h3,h4{line-height:1.2;font-family:sans-serif}
H1 {text-align:center;color:navy}
@media print{body{max-width:none}}
.asciiart {font-family:"Lucida Console", "Terminal", monospace}
.cut {clear:both}