body {
    font-family: sans-serif;
}

.p-Heading1,
.p-Heading2,
.p-Heading3,
.p-Heading4,
.p-Heading5,
.p-Heading6 {
    font-family: serif;
    color: #17365D;
    padding: 1pt;
    border-bottom: 1pt solid #4F81BD;
    margin-bottom: 10pt;
    margin-left: 0pt;
    text-indent: 0pt;
}

.p-Heading1 {
    border-bottom-width: 2pt;
}

.p-Title {
    border: 1pt solid #4F81BD;
    background-color: #DBE5F1;
    padding: 1em;
    -moz-border-radius: 0.25em;
    -webkit-border-radius: 0.25em;
    border-radius: 0.25em;
}

.p-ProgramListing {
    white-space: pre; /* Same fix as in patch_manual.xed. */
    font-family: monospace;
}

.c-Code {
    font-family: monospace;
}

.role-notes-separator {
    width: 8em;
    text-align: left;
    margin: 4em 0 0.5em 0;
}

.c-FootnoteReference,
.c-EndnoteReference {
    font-size: smaller;
}
