body {
    font-family: Droid Sans, Droid Sans Fallback, DejaVu Sans, sans-serif;
    background: #111111;
    color: #dcdccc;
    margin: 1.5em 0 0 2em;
    padding: 0;
    line-height: 1.25;
}

pre {
    font-family: Droid Sans, Droid Sans Fallback, DejaVu Sans, sans-serif;
}

code {
    font-size: 16px;
}

h1, h2 {
    font-family: DejaVu Sans Condensed, Droid Sans, sans-serif;
    font-weight: normal;
    margin-top: 0;
}

ul + h2, p + h2 {
    margin-top: 1em;
}

h1 span {
    display: block;
    width: 0.85em;
    border-bottom: 4px solid #d956db;
    margin-left: 0.08em;
    margin-top: -0.1em;
}

a {
    color: gray;
}

ul.menu li a {
    color: #d956db;
}

p {
    max-width: 60em;
}

ul.menu {
    position: absolute;
    right: 3em;
    padding: 0;
    clear: both;
}

ul.menu li {
    display: inline;
    list-style-type: none;
    margin: 0.75em;
    padding: 0;
}

ul.menu li a {
    text-decoration: none;
}

ul.menu li a:hover {
    text-decoration: underline;
}

div.frontpage {
    width: 25em;
    float: left;
    padding-left: 1em;
    padding-right: 2em;
    margin-top: 3.75em;
}

div.frontpage form input, div.frontpage form textarea {
    font-size: 16px;
    margin-bottom: 0.75em;
    width: 24em;
}

div.frontpage form label {
    font-size: small;
}

div.frontpage form select, div.frontpage form select option, div.frontpage form input#group_rest, div.frontpage form input#name {
    font-family: monospace;
    font-size: 16px;
}

div.frontpage form input[type="submit"] {
    margin-left: 9em;
    width: auto;
}

div.frontpage form textarea {
    font-family: Droid Sans, sans-serif;
}

div.frontpage div#arithmetic {
    display: none;
}

div.counts {
    clear: both;
    width: 82em;
    padding-top: 4em;
    text-align: center;
}

div.article {
    max-width: 60em;
}

div.article div.head strong {
    position: absolute;
    left: 9.0em;
}

div.article div.body img.enclosure {
    clear: both;
    float: right;
    max-width: 25em;
    margin-left: 1em;
    margin-bottom: 0.5em;
}

ins {
    color: lightgreen;
    text-decoration: none;
}

del {
    color: coral;
}