#logo {
   text-align: center;
   vertical-align: middle;
   width: 100%;
   float: left;
}

#logo_image {
   margin-top: 10pt;
   margin-bottom: 10pt;
}

#menu {
   background-color: green;
   color: yellow;
}

#content {
   padding-top: 35pt;
}

#counter {
   margin-left: 3%;
   margin-top: 10pt;
   width: 94%;
   float: left;
   color: yellow;
}

#footer {
   margin-top: 50pt;
   width: 100%;
   float: left;
}

div.w3c {
   text-align: left;
   vertical-align: middle;
   width: 90%;
   float: left;
   margin: 5pt;
}

body {
   background-color: white;
   color: black;
}

.menu_entry {
   color: yellow;
   background-color: #007711;
}

a.menu_entry:hover {
   color: black;
   background-color: #007711;
   cursor: default;
}

.submenu {
   color: yellow;
   background-color: green;
}

a {
   font-weight: bold;
   border: 0;
}

a:hover {
   cursor: default;
}

table.border {
   border-color: yellow;
}

div.gbEntry {
   border-color: yellow;
}