html {
    color: white;
    background-color: black;
}

body {
    color: black;
    background-color: #9ABCDE;
    font-family: verdana, arial, sans-serif;
}

tt, code, pre, {
    font-family: andale mono, courier new, courier, monospace;
}

img {
    border: 0;
}

div.header {
    clear: left;
    padding: 0.5em;
    color: #BBDDFF;
    background-color: #000088;
}

div.header h1 {
    padding: 0;
    margin: 0;
}

div.footer {
    color: black;
    background-color: #000088;
    font-size: 80%;
    padding: 0.5em;
    margin: 0;
    clear: left;
}

div.footer a {
    color: #BBDDFF;
}

div.buttons {
    float: right;
}

div.buttons img {
    border: 0;
}

div.left {
    float: left;
    /* width: 120px; */
    width: 8em;
    margin: 0;
    padding: 0;
    padding-top: 0.5em;
    background-color: #BBDDFF;
    border: 0;
}

div.content {
    /* border-left: 120px solid #BBDDFF; */
    /* border-left: 8em solid #BBDDFF; */
    margin-left: 8em;
    padding: 1em;
}

div.content h1, h2 {
    padding: 2px;
    margin: 0;
    font-size: 100%;
    color: #BBDDFF;
    background-color: #000088;
}

div.news ul {
    list-style: none;
    padding: 0;
    padding-top: 0.5em;
    margin: 0;
}

div.news li {
    border-bottom: 1px dashed gray;
    margin-bottom: 1em;
    padding: 0.5em;
}

div.news ul ul {
    padding: 0;
    margin: 0;
}

div.news li li {
    border: 0;
    margin: 0;
    padding: 0;
    padding-left: 1em;
}

div.news h3 {
    padding: 0;
    margin: 0;
    font-size: 90%;
}

.disabledlink {
    text-decoration: none;
    font-weight: bold;
    padding-left: 0.5em;
}

div.menu a {
    text-decoration: none;
    padding-left: 0.5em;
}

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

div.menu ul {
    list-style: none;
    padding: 0;
    margin: 0;
    font-size: 90%;
}

div.menu h2
{
    color: #BBDDFF;
    background-color: #000088;
}

div.menu li ul
{
    font-weight: normal;
    font-size: 90%;
    margin-left: 10px;
}