/* basic structure */

body {
    color: #000000;
    background: #ffffff;

    font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 {
    border-bottom: solid thin #c0c0f0;
    font-variant: small-caps;
    margin-top: 2em;
}

p {
     margin: 1em 0em;
}

ul, ol {
    margin: 1em 0em;
    padding: 0em;
    list-style-position: outside;
}

ul li, ol li {
    margin-left: 2em;
}

ul li p:first-child, ol li p:first-child {
    display: inline;
    margin: 0.2em 0em;
}

dl {
    margin: 1em 0em;
    padding: 0em;
}

dl dt {
    font-weight: bold;
}

dl dd {
    margin-left: 2em;
}

blockquote {
    margin: 1em;
    border: solid thin #c0c0f0;
    padding: 0em 1em;
    background-color: #f0f0ff;
    font-style: italic;
}

pre {
    margin: 1em;
    border: solid thin #c0c0f0;
    padding: 1em;
    background: #e0e0f0;
    display: table;
}

table {
    border: solid thin #c0c0f0;
    empty-cells: show;
    border-spacing: 0;
}

th {
    padding: 0.1em 0.5em;
    background: #e0e0ff;
    border-bottom: solid medium #c0c0f0;
    font-weight: bold;
    text-align: left;
}

td {
    padding: 0.1em 0.5em;
    vertical-align: top;
}

a         { text-decoration: none; }
a:link    { color: #4040ff; }
a:visited { color: #404080; }
a:active  { color: #a0a0ff; }
a:hover   { text-decoration: underline;}

.planned { color: #808080; }

/* boxes */

.box {
    margin: 0em 0em 1em 0em;
    border: solid 2px #c0c0f0;
    padding: 0em 1em;
    
    overflow: hidden;
}

.box h1, .box h2, .box h3, .box h4, .box h5, .box h6 {
    margin-top: 1em;
}

.box h1:first-child, .box h2:first-child, .box h3:first-child,
.box h4:first-child, .box h5:first-child, .box h6:first-child {
    margin: 0em -1em 0.5em -1em;
    padding: 0.2em 0.5em;

    background: #e0e0ff;
}

.box .footer {
    font-size: smaller;
    text-align: right;
}

/* page structure */

#logo {
    margin: 0em 0em 1em 0em;
    border: none;
    padding: 0em;
    background: #ffffff;

    font-family: monospace;
    font-weight: bold;
    line-height: 1.2em;
}

#sidebar {
    margin: 0em 0em 0em 0em;
    border: none;
    padding: 0em 0em 0em 0em;

    width: 15em;
    float: left;
}

#main {
    margin: 0em 0em 0em 16em;
    border: none;
    padding: 0em 0em 0em 0em;
}

#title {
    margin: 0em 0em 1em 0em;
    border-top: solid 2px #c0c0f0;
    border-bottom: solid 2px #c0c0f0;
    padding: 0.2em 0em 0.2em 0em;

    background: #f0f0ff;

    text-align: center;
}

#poweredby {
    margin: 1em 0em;
    border-top: solid 2px #c0c0f0;
    padding: 0.2em 0em 0.2em 0em;

    text-align: right;

    font-size: smaller;

    clear: both;
}

/* vertical link list with highlighted entry */

.linklist {
    margin: 1em 0em;
    border: none;
    padding: 0em;

    list-style-type: none;
    list-style-position: inside;

    white-space: nowrap;
}

.linklist li {
    margin: 0em;
    border: none;
    padding: 0em;
}

.linklist li a {
    margin: 0em;
    border: none;
    padding: 1px 1px 1px 5px;

    display: list-item;
    list-style-type: square;
    list-style-position: inside;
    text-decoration: none;
}

.linklist li a.current {
    border-top: solid thin #c0c0f0;
    border-bottom: solid thin #c0c0f0;

    background: #e8e8e8;
}

.linklist li a:hover {
    background: #e0e0ff;
}

/* code syntax highlighting */

span.patch_orig {
    background: #b0b098;
    width: 100%;
    display: block;
}
span.patch_mod {
    background: #b0b098;
    width: 100%;
    display: block;
}
span.patch_line {
    background: #f0f0c0;
    width: 100%;
    display: block;
}
span.patch_del {
    background: #f4948a;
    width: 100%;
    display: block;
}
span.patch_add {
    background: #9aee8a;
    width: 100%;
    display: block;
}
span.syntax_comment {
    color: #303080;
    font-style: italic;
}
span.syntax_keyword {
    color: #740000;
    font-weight: bold;
}
span.syntax_builtin {
    color: #a000a0;
    font-weight: bold;
}
span.syntax_string {
    color: #107474;
}
span.syntax_special {
    color: #108030;
}
span.syntax_funcdef {
    color: #2040d0;
    font-weight: bold;
}
span.syntax_vartype {
    color: #942060;
    font-weight: bold;
}
span.syntax_constant {
    color: #c08000;
}