ul#menu {
    margin: 0px;
    margin-left: 0px;
    padding-left: 0px;
}

ul#menu li {
    display: inline;
    font-weight: bold;
    margin-left: 0px;
    margin-right: 0px;
    padding-right: 12px;
    padding-left: 12px;
    border-width: 0px;
    border-right: 1px solid #aaaaaa;
}

ul#menu li.first {
    padding-left: 0px;
}

ul#menu li.last {
    border-right: 0px;
}

#title {
    background-color: rgb(230,230,250);
    color: black;
    padding: 8px;
    margin-top: 0px;
    margin-bottom: 5px;
}

#version {
    background-color: rgb(230,230,250);
    color: black;
    padding: 8px;
    margin-top: 5px;
}

#changelog {
    margin-left: 10px;
}