body {
    font-family: "Arial", "Helvetica", sans-serif;
    font-size: 1.1em;
    line-height: 1.5em;

    background-color: white;
    color: #444444;

    margin: 1em;
}

a {
    color: #2455c3;
    text-decoration: underline;
}

a:visited {
    color: #2455c3;
}

a:hover {
    color: #2455c3;
    text-decoration: none;
}

hr {
    border-top: 0px;
    border-bottom: 3px solid #f0f0f0;
    border-left: 0px;
    border-right: 0px;
}

h1, h2, h3, h4, h1 a, h2 a, h3 a, h4 a {
    color: black;
}

h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover {
    color: black;
}

h1 a, h2 a, h3 a, h4 a, h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover {
    text-decoration: none;
}

h1 {
    font-size: 22pt;
}

h2 {
    font-size: 18pt;
}

h3 {
    font-size: 16pt;
}

pre {
    background-color: #f8f8f8;
    padding: 1em;
    border: 1px solid #f0f0f0;
}

code, pre, tt {
    font-family: "DejaVu Sans Mono", monospace;
}

code {
    background-color: #f8f8f8;
}

img {
    border: none;
}

img.border {
    border: 1px solid black;
}

img.splash {
    float: right;
    margin: 0 0 1em 1em;
    border: 1px solid black;
}