body {
    background-color: black;
    color: white;
    font-family: tahoma
}

.menu {
    display: block;
    clear: left;
    margin-bottom: 1em;
}
.menu ul {
}
.menu ul li {
    display: inline;
    border: solid blue;
    padding: 5px;
}
.menu ul li a {
    color: white;
    font-size: large;
    font-weight: bold;
    text-decoration: none;
}
.menu ul li a:hover {
    color: blue;
}
.menu #logo {
    float: left;
}

a.link {
    font-size: large;
    font-weight: bolder;
    color: white;
    text-decoration: underline;
}

a.srclink {
    font-size: small;
    font-weight: normal;
    color: white;
    text-decoration: underline;
}

.section {
    border: solid blue;
    display: block;
    margin-bottom: 3em;
}
.section .header {
    text-align: left;
    font-size: large;
    border-bottom: solid 3px blue;
    text-indent: 0.5em;
    padding-top: 0.1em;
    padding-bottom: 0.1em;
}
.section .content {
    margin: 1em;
}
.section table {
    border-spacing: 0px;
}
.section th {
    padding-right: 1em;
    text-align: left;
}
.section td {
    padding-right: 1em;
    vertical-align: top;
}
.section ul {
    margin-left: 1em;
    margin-right: 1em;
    margin-top: 0em;
    margin-bottom: 0em;
}
.section li {
    padding-bottom: 0.5em;
}
.section td li {
    padding-bottom: 0em;
}

.screen {
    display: block;
}
.screen img {
    float: left;
    display: block;
}

.code {
    font-family: monospace;
    white-space: pre;
    background-color: #333;
}

.themeFileElements > li {
    margin-bottom: 1em;
}