body {
 line-height: 130%;
 margin: 2em;
}

h1 {
 font-size: 130%;
 text-align: center;
}

h2 {
 margin-top: 2em;
 font-size: 120%;
}

pre, code {
 font-family: 'Courier New', Mono;
 background: #eeeeee;
}

dl {
 padding-left: 2em;
}

dt {
 font-weight: bold;
}

dd {
 padding-top: 0.5em;
 margin-top: 0.5em;
 margin-bottom: 1em;
 border-top: 1px solid #ddd;
}

p.back {
 margin: 0;
 padding: 0;
 text-align: right;
}

pre {
 margin-right: 2em;
 margin-left: 2em;
 font-size: 85%;
}

blockquote {
 background: #eeeeee;
}

div#footer {
 text-align: right;
 font-size: small;
}

.fn {
 border-top: 1px solid #e5e5e5;
 font-size: 80%;
 margin-left: 7em;
 list-style-type: none;
}

.fn p {
 margin: 0;
}