body {
    color: #000000;
    background-color: #fcfcfc;

    /*
      The 200ex bottom margin should put enough blank space at the
      bottom of the document that the browser can scroll any named
      anchor to the top of the window.
    */
    margin: 2ex 9em 200ex 2em;
}

h1 {
    margin-bottom: 1ex;
}

h2, h3 {
    margin: 2ex 0em;
}

p {
    margin: 2ex 1em;
/*    clear: both;*/
}

td {
    vertical-align: top;
}

pre {
    border: 1px dotted #808080;
    padding: 1em;
    background: #e0e0e0;
    clear: both;
}

.wide {
    border-right: none;
    background: #f0f0f0;
}

.goodexample {
    border-right: none;
    background: #e0ffe0;
}

.badexample {
    border-right: none;
    background: #ffe0e0;
}

var {
    font-family: monospace;
    font-style: oblique;
}

#byline {
    padding: 0em;
    margin: 0em;
    display: block;
    text-align: right;
}

#main {
    margin-top: 2ex;
    border-top: 1px dotted #7f7f7f;
    border-bottom: 1px dotted #7f7f7f;
}

.footnote-link {
    vertical-align: super;
    font-size: 80%;
}

.footnote {
    margin: 1em 0em;
    padding: 1em 0em;
    border-top: 1px dotted #7f7f7f;
}

.sidemark:before {
    content: '\0000B0';
}

.sidebracket {
    display: none;
}

.sidenote {
    float: right;
    clear: right;
    font-size: 80%;
    width: 8em;
    text-align: left;
    margin-right: -8.99em;
    padding-left: 1em;
}

.picture {
    padding-top: 1ex;
    padding-bottom: 1ex;
    text-align: center;
}