html, body {
    height: 100%;
    margin-right: auto;
    margin-left: auto;
    background-color: white;
    color: black;
    font-family: sans-serif;
}

#wrap {
    !background-color: #800;
    min-height: 100%;
    position: relative;
    margin-top: -5%;
    margin-left: 2em;
    margin-right: 3em;
    margin-bottom: -65px; /* arbitrary */
    padding-left: 0em;
    padding-right: 0em;
}

#header {
    !background-color: #080;
    margin-top: 5%;
    !margin-bottom: 5%;
    margin-right: 0em;
    padding-right: 0em;
    padding-bottom: 0px;
}

#inner {
    !background-color: blue;
    margin-right: 0em;
    padding-top: 0em;
    padding-right: 0em;
    padding-bottom: 5em;
    border-color: #007ab3;
    border-top-style: dashed;
}

#footer {
    !background-color: #999;
    height: 4em;
    position: relative;
    padding-top: 2.5em;
    text-align: center;
    font-style: italic;
    font-size: smaller;
    color: #777;
}

#header h1 {
    padding-top: 9%;
}

#inner h1, h2, h3 {
    color: #007ab3;
    margin-top: 5%;
}

#inner h2 {
    font-size: 1.3em;
}

#inner h3 {
    font-size: 1.1em;
}

#inner h4 {
    margin-right: 0em;
    color: black;
    border-bottom: 1px solid #d1e0ee;
}

#footer img {
    float: right;
    position: relative;
}

img {
    border: none;
}

div.figure img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

a:link {
    color: #00c;
    text-decoration: none;
}

a:visited {
    color: #800;
    text-decoration: none;
}

a:hover:link {
    color: #eee;
    background-color: #00f;
}

a:hover:visited {
    color: #eee;
    background-color: #800;
}

ul.code {
    margin: 8px 10px 10px -10px;
    list-style-type: none;
    font-family: monospace;
    font-size: 0.9em;
    color: #1e3f18;
}

code {
    font-family: monospace;
    font-size: 0.9em;
    color: #1e3f18;
    /* #702070; mauve */
    /* #c18928; orange claws-mail */
    /* #1e3f18; dark green */    
}

k {
    !font-weight: bold;
    !color: #c18928;
    !color: #00bc9b;
    color: #770;
}

r {
    font-weight: bold;
    color: #c18928;
    /* color: #080; */
}

v {
    font-weight: bold;
    color: #1e3f18
}

pre {
    background-color: #f0f0f0;
    margin-left: 2em;
    margin-right: 0em;
    font-family: monospace;
    font-size: 0.9em;
}

p.pre {
    margin-left: 2em;
    margin-right: 0em;
    font-family: monospace;
    font-size: 0.9em;
}

p.note {
    margin-left: 2em;
    margin-right: 1em;
    font-size: 0.9em;
}

b.pre {
    margin-left: 2em;
    margin-right: 0em;
    font-family: monospace;
    font-weight: bold;
    /* color: #f00 */
}

ul.pre {
    background-color: #f0f0f0;
    margin-left: 2em;
    padding-left: 2em;
    margin-right: 0em;
    list-style-type: circle;
    font-family: monospace;
    font-size: 0.9em;
}

p.warn {
    display: block;    
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    font-family: monospace;
    font-size: 0.9em;
    !background-color: #ccc;
    color: #555;
}