body{font-family:monospace}h1,h2,h3,h4,h5,h6{font-family:monospace;font-weight:700}a{color:#d00}a:hover{color:#a00}dt{margin-top:1em;font-weight:700}dd{line-height:2em}