header, footer {
    padding:1em 0 1em 0;
}

header {
    border-bottom:2px solid #f0f0f0;
}

footer {
    border-top:2px solid #f0f0f0;
}

footer ul.tags {
    list-style:none outside none;
    margin:0;
    padding:0;
    display:inline;
}

ul.indexTagList {
    list-style:none outside none;
    margin-left:0;
    padding-left:0;
}

ul.indexTagList li {
    margin-left:0;
    padding-left:0;
}

ul.indexTagList ul {
    list-style:disc outside none;
}

footer ul.tags:before { content:" — "; }

footer ul.tags:first-child:before { content:""; }

footer ul.tags li {
    margin:0;
    padding:0;
    display:inline;
}

footer ul.tags li:after { content:", "; }

footer ul.tags li:last-child:after { content: ""; }

header h1, header h2 {
    margin:0;
}

header h2.subtitle {
    font-size:1em;
    font-weight:normal;
    font-style:italic;
}

body {
    margin:auto;
    padding-right:1em;
    padding-left:1em;
    font:normal 1em monospace;
    max-width:90em;
    text-align:left;
}

a {
    color:inherit;
}

header ul.links {
    padding:1em 0 0 0;
    margin:1em 0 0 0;
    border-top:2px solid #f0f0f0;
    display:block;
    list-style:none outside none;
}

header ul.links:empty { display:none; }

header ul.links li {
    margin:0;
    padding:0;
    display:inline;
}

header ul.links li:after { content:", "; }

header ul.links li:last-child:after { content: ""; }

p {
    margin-top:1em;
    margin-bottom:0;
}

p:last-of-type {
    margin-bottom:1em;
}

p + p {
    text-indent:1.5em;
    margin-top:0.25em;
}

footer p.info:before { content:", "; }

footer p.info:first-child:before { content:""; }

footer p.info {
    margin:0;
    padding:0;
    text-indent:0;
    display:inline;
}

p .sourceCode, p code {
    border-bottom:2px solid #f0f0f0;
    margin-bottom:-2px;
}

div.sourceCode {
    padding-left:1.5em;
    border-left:2px solid #f0f0f0;
    margin-left:-2px;
}

pre code {
    white-space:pre-wrap;
}

div.footnotes {
    border-top:2px solid #f0f0f0;
}

div.footnotes hr {
    display:none;
}

a.footnoteRef {
    text-decoration:none;
}