html {
        margin-bottom: 10px;
        height: 100%;
}
body {
        margin: 10px;
        padding: 0px;
        height: 100%;
        background-color: #000055;
}
#topbar {
        background-color: #b2b2cc;
        margin-bottom: 10px;
        padding: 5px;
}
#topbar p {
        font-family: Times New Roman, Times, serif;
        font-size: 85%;
        color: #000000;
        margin-top: 0px;
        margin-bottom: 5px;
        text-align: center;
}
#topbar p a, #topbar p a:visited {
        color: #000000;
        text-decoration: underline;
}
#topbar p a:hover {
        color: #000000;
        text-decoration: none;
}