body {
    font-family: "LiberationSerif-Regular", Helvetica;
    font-size: 9pt;
}

.headerbox {
    border: 1px solid black;
    padding: 0.3em;
    margin: 0.2em;
    margin-bottom: 0.5em;
    font-weight: bold;
    display: inline-block;
}

a:link {
    color: #363372;
}

a:visited {
    color: #5450ae;
}

.outline-2 {
    border: 1px dotted black;
    padding: 0.8em;
    margin-bottom: 1em;
    background-color: #eeeeee;
    height: 100%;
    clear: both;
}

#postamble {
    font-size: small;
}

.figure {
    border: 1px dotted black;
    float: right;
}

div.figure p {
    display: inline;
}


pre {
    font-size: 80%;
    border: 1px solid black;
}

code {
    font-style: oblique;
}