body {
    /* arial is here, because the standard sans-serif on windows looks horrible */
    font-family: "arial", sans-serif;
    color: #732304;
    background-color: white;
}

#all {
    max-width: 50em;
    margin-left: auto;
    margin-right: auto;
}

h1, h2, h3, h4, h5 {
    font-family: serif;
    font-weight: lighter;
}

a img {
    border: none;
}

img.filetype {
    border-style: none;
    vertical-align: middle;
}

p, h3, h4 {
    margin-left: 0.5em;
}

hr {
    height: 1px;
    border: none;
    border-bottom: 1px black solid;
}

hr.soft {
    border-bottom: 1px black dotted;
}



p.intro {
    font-style: italic;
     text-indent: 2em; 
}

h1 {
    margin-top: 2px;
    margin-bottom: 4px;
}

a:link {
    color: #021236;
}

a:visited {
    color: black;
}

a:active {
    color: #888;
}

a.selected {
    font-weight: bold;
}

a.readon {
    font-style: italic;
}

img.lalign {
    margin-left: 0em;
    margin-right: 0.5em;
}

img.ralign {
    margin-left: 0.5em;
    margin-right: 0em;
}

.ralign {
    text-align: right;
}

.lalign {
    text-align: left;
}

p.footer {
    font-style: italic;
    text-align: right;
}

.vtop tr td, .vtop tr th {
    vertical-align: top;
}

.logo {
    font-size: small;
    font-weight: lighter;
    font-family: serif;
    text-align: center;
}

li {
    padding-top: 0.5em;
    padding-bottom: 0.5em;
}

#navigation, #subsubnavigation {
    text-align: right;
}

#subnavigation, #subsubnavigation {
    font-size: small;
}

.marker, .activemarker {
    position: relative;
    padding-right: 5px;
    left: 6px;
}

code, pre {
    color: black;
    background-color: #ffffe0;
    font-family: monospace;
}

pre {
    overflow: auto;
}

a.extern:after {
    content: url('extern.gif');
}

.note {
    border: 1px black dashed;
    background-color: #ffefef;
    font-style;
}