html {
    background: url('/css/110.png');
}

body {
    font-family: Sans-Serif;
    margin: 0px 20px 0px 20px;
}

div#header {
    border-bottom: 2px solid black;
    margin-bottom: 30px;
    padding: 12px 0px 12px 0px;
}

div#logo a {
    color: currentcolor;
    float: left;
    font-size: 18px;
    font-weight: bold;
    text-decoration: none;
}

div#header #navigation {
    text-align: right;
}

div#header #navigation a {
    color: currentcolor;
    font-size: 18px;
    font-weight: bold;
    margin-left: 12px;
    text-decoration: none;
    text-transform: uppercase;
}

div#footer {
    border-top: solid 2px black;
    color: #555;
    font-size: 12px;
    margin-top: 30px;
    padding: 12px 0px 12px 0px;
    text-align: right;
}

h1 {
    font-size: 24px;
}

h2 {
    font-size: 20px;
}

h2 a, h1 a {
    color: currentcolor;
    text-decoration: none;
}

h3 {
    font-size: 16px;
}

th {
    font-size: 14px;
}

div.info {
    color: #555;
    font-size: 14px;
    font-style: italic;
}

.even {
    background-color: rgba(255, 255, 255, 0.05);
}

.odd {
    background-color: rgba(0, 0, 0, 0.05);
}

.hidden {
    display: none;
}

pre {
    /* Give the element a horizontal scrollbar if needed, not the whole page */
    overflow-x: auto;
}