/* 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;
}