body {
    font-family: sans-serif;
    margin-left: 1em;
    margin-top: 2.5em;
}

p {
    margin-top: 0.5em;
    margin-bottom: 0.7em;
}

ul {
    list-style-type: none;
    padding-left: 0;
}

li {
    margin-top: 0.4em;
    margin-bottom: 0.8em;
}

dd {
    padding-left: 0;
}

dt {
    margin-top: 0.4em;
    margin-bottom: 0.1em;
}

dd {
    margin-top: 0.1em;
    margin-bottom: 0.8em;
}

h2 {
    font-size: 1.5em;
    margin-left: -0.666em;
    color: #111111;
    border-bottom: 1px solid;
    padding-left: 0.2em;
    max-width: 10em;
}

h3 {
    font-size: 1.2em;
    text-decoration: underline;
    margin-bottom: -0.3em;
}

input#search {
    width: 10em;
}

/* Header */
a#header {
    text-decoration: none;
}

h1#header1 {
    font-size: 2.5em;
    line-height: 0.5em;
    padding-bottom: 5pt;
    margin-top: 0.3em;
    margin-bottom: 0;
    color: #000000;
}

h1#header2 {
    font-size: 2.2em;
    line-height: 1em;
    color: #999999;
    font-family: monospace;
    padding-top: 0;
    margin-top: 0;
    margin-bottom: 0.25em;
}

/* Main page styles */
div#main {
    margin-left: 1.5em;
    margin-top: 0.5em;
    border-left-width: 1px;
    border-left-color: black;
    border-left-style: solid;
/*    background-image: url("background.png");
    background-repeat: repeat-y;*/
    padding-left: 1em;
}

div.mostly-text {
    max-width: 33em;
    word-spacing: 0.1em;
    line-height: 1.4em;
}

#new-links {
    margin-left: 1.5em;
    margin-top: 2em;
    margin-bottom: 1em;
    max-width: 30em;
}

#footer {
    margin-right: 0.5em;
    margin-top: 2em;
    font-size: 0.8em;
/*    max-width: 30em;*/
    padding-left: 0;
    text-align: right;
}

