#topbar {
    background-color: #3BD141;
    width: 100%;
    height: 5px;
    margin-bottom: 10px;
}

#topinfo {
    text-align: right;
}

html, body {
    height: 100%;
}

mainmenu {
    margin: 0px;
    }
mainmenu ul {
    width: 100%;
    text-align: center; 
    font-size: small; /* could be specified at a higher level */;
    margin: 0;
    padding: 0 0px 3px 0px;
    /*border-bottom: 2px solid #999;*/
}
mainmenu ul li {
    margin: 0; 
    padding: 0;
    display: inline;
    list-style: none;
    }
mainmenu a:link, mainmenu a:visited {
    font-size: 100%;
    line-height: 20px;
    font-weight: bold;
    margin: 0 10px 0 10px;
    text-decoration: none;
    color: #738574;
    }
mainmenu a.active:link, mainmenu a.active:visited, mainmenu a:hover {
    border-bottom: 4px solid #3BD141;
    padding-bottom: 2px;
    color: #6AA86C;
    }