body {
    font-family: lucida grande, verdana, sans-serif;
    margin: 0 20px 20px;
    background: #eee;
    font-size: 12px;
}
div.title {
    margin: 0 -20px;
    padding: 20px;
    border-bottom: 1px solid #f80;
    color: #fff;
    background: #04a;
    font-size: 0.8em;
}
div.title h1 { margin: 0; }
h1 a {
    text-decoration: none;
    color: #fff;
}
div.footer {
    margin: 0 -20px;
    padding: 20px;
    border-top: 1px solid #f80;
    color: #fff;
    background: #04a;
}
h2 {
    font-size: 1.2em;
    margin-top: 2em;
    padding-top: 1em;
    border-top: 2px solid #f80;
}
h3 {
    font-size: 1em;
    font-style: normal;
    font-weight: bold;
    margin-top: 2em;
}
h4 {
    font-size: 1em;
    font-style: italic;
    font-weight: normal;
    margin-top: 2em;
}
p { margin-bottom: 0; }
ol, ul { margin-left: 3em; padding-left: 0; }
li { margin-top: 1em; }

div.toc {
    margin-top: 1em;
    padding: 1em;
    background: #fdb;
}
div.toc li { margin-top: 0.2em; }

code { color: #a06; }
pre {
    margin: 1em 2em;
    padding: 1em;
    border: 1px solid #04a;
    background: #cdf;
}

dl { margin-left: 3em; }
dt { font-style: italic; }
dd { margin-left: 3em; margin-bottom: 0.5em; }

.type, .field, .element, .xstype, code, pre {
    font-style: normal;
    font-family: lucidatypewriter, courier, courier new, monospace;
}
.type { color: #048; text-transform: uppercase; }
.field { color: #060; }
h1 .field, h2 .field, h3 .field, h4 .field,
h1 .type, h2 .type, h3 .type, h4 .type {
    font-family: inherit;
}