body {
    background-color: #c0c0c9;
}
#logo {
    float: right;
    width: 312px;
    height: 88px;
}
.mainbar a {
    font-family: courier;
}
.mainbar a:hover {
    font-style: italic;
}
.center { 
    text-align: center;
}
#sourceforge {
    border-width: 0;
    width: 88px;
    height: 31px;
}
.sidebar {
    width: 9em;
    float: left;
    font-family: arial;
    font-size: 75%;
    margin-right: 1em;
    margin-bottom: 1em;
}
.sidebar a {
    text-decoration: none;
    font-family: inherit;
}
.sidebar a:hover {
    text-decoration: overline underline;
    font-weight: normal;
    font-style: inherit;
    background-color: #CCCCEE;
}