body, html {
    margin: 0;
    padding: 0;
    font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif;
    font-size: 14px;
    background-color: #F0F0FF;
    /*overflow: hidden;
    overflow-x: hidden;
    overflow-y: hidden;*/
}

a {
    color: #DCDCDC;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

#top {
    background-color: #0A0A84;
    margin: 0;
    height: 6%;
    border-bottom: dotted 2px;
}

#top a {
    color: #EFEFFF;
    font-weight: bold;
}

#top h1 {
    background-color: #0A0A84;
    margin: 0;
    padding-left: 5px;
    padding-top: 5px;
}

#top p {
    background-color: #840A0A;
    float: right;
    margin-top: -2.5em;
    margin-right: 1em;
}

#menu {
    float: left;
    margin: 0;
    background-color: #51519E;
    width: 15em;
    padding: 5px;
    height: 93%;
    border-right: dotted 2px;
}

#menu #nav {
    margin-top: 0;
    padding-left: 0;
}

#menu #nav li {
    margin-left: 0;
}

#menu h2 {
    font-size: 16px;
    color: #EEEEFF;
    font-weight: bold;
    background-color: #606080;
    border: outset 1px;
    padding: 2px;
    padding-left: 5px;
    margin-top: 16px;
    margin-bottom: 0px;
}

#menu #releases p {
    width: 100px;
    font-size: 12px;
    font-weight: bold;
    text-align: center;
    border: solid 1px;
    border-color: #000000;
    background-color: #F07050;
    padding: 5px;
    margin-top: 50px;
    -moz-border-radius: 5px;
}

#menu #releases dd {
    margin-left: 5px;
    font-size: 12px;
    color: #DDDDFF;
    margin-top: 1px;
    margin-bottom: 10px;
    border: dotted 1px;
    border-color: #DCDCFF;
    padding: 2px;
    background-color: #41418E;
}

#menu ul {
    padding-left: 1em;
    list-style: none;
}

#content {
    float: left;
    margin-left: 10px;
    margin-top: 10px;
    width: 500px;
}

#content a {
    color: #0A0A84;
}

#menu a:hover {
    color: #FFFFFF;
    text-decoration: none;
}

table tr th {
    background-color: #EFEFFF;
}

table tr td {
    padding: 3px;
}