body { font-family: monospace }
a { text-decoration: none; color: #080 }
img.space { margin: 10px }
blockquote { margin-left: 2em }
h1 { padding-bottom: 0.2em }
h1 span { border-bottom: dashed black 1px; padding-bottom: 0.2em }
p.overline { margin-top: 3em }
p.overline span { border-top: dashed black 1px; padding-top: 0.5em }