html, body { margin: 0; padding: 0; }
.header { background-color: #47A03C; margin: 0; padding: .2em;}
.header a:link, .header a:visited { color: white; text-decoration: underline;}
h1 { text-align: center; font-family: "Monaco", "MPW", monospaced; letter-spacing: -.1em;}
.rest { font-weight: normal; }
h2 { margin-left: -1em; margin-top: 1.5em;}
.body { margin: auto; width: 50em; padding-top: 3em;}
address { padding: 1.5em; color: #555; text-align: center;}
code, pre { background-color: #eee;}