p,ul,ol,li {
 line-height : 150%;
}


div.menu {
 height: 3.6ex;
 top: 0;
 left: 0.2em;
 right: 0.2em;
/*
 border-style: solid;
 border-width: 0pt 0pt 1pt 0pt;
 border-color: lightgrey;
*/
 padding: 0ex 0.5em 0ex 0.5em;
 white-space: nowrap;
}

.logo {
 font-weight: bold;
 color: seagreen;
}

.text {
 margin-left : 2em;
 margin-right : 2em;
 line-height : 150%;
}
.disablelink {
 color : darkgray;
}
.ranking {
 text-align : right;
}