/* Entries that need to be added to your default CSS stylesheet in
   order for the Menu to look nice */

/* Menu */

.menu {
  border-top: 5px solid lightgrey;
  border-bottom: 5px solid lightgrey;
  content: "Menu";
  background: #F5F5F5;
  color: white;
  display: inline-table;
  float: right;
  padding: .5em;
}

.menuitem {
  margin: .2em;
  text-align: center;
}

.menuitem a:link, .menuitem a:visited {
   color: darkgreen;
   text-decoration: none;
}

.menuitem a:hover {
 background: lightgrey;
}

.menuitem a:hover:before { content:"» "}
.menu:before {
    color: grey;
    display: block;
    content: "Menu" ;
    text-align: center;
    border: 1pt solid;
}

#tooltipbox {
  float: right;
  visibility: hidden;
}

#tooltip {
  color: lightgrey;
}