.menu {
  font-size:12pt;
  display:block;
}

.menu a{
  display: block;
  margin-bottom:2px;
  font-size:12pt;
  
  padding: 0px;
  margin:1px;
  padding-left:0.5em;
  text-decoration: none;
  border:solid black;
  border-width: 1px;
}
.menu a:link   { color: black;}
.menu a:visited{ color: black;}
.menu a:active { color: black;}
.menu a:hover  {
/*  color: white;
  background:red;*/
  border:outset #e8cc94;
  border-width: 1px;
}
.menu a.choosenItem {
  background:black;
  color:#ffdfcf;
  border:outset ;
  border-width: 1px;
}
.menu a.choosenItem:visited { color: #ffdfcf; }

#menu {
  position: absolute;
  padding: 0.5em;
  z-index: 6;
  height: auto;
  bottom: 0px;
  width:9em;
  top:90px;
  left:0px;
  font-size:14pt;
}
div>div#menu {
  top:90px;
  position:fixed;
  overflow:auto;
}

.menu a {
/*  font-weight:bold;*/
}


a.normalLink {
  color:blue;
  display:inline;
  font-size: 12pt;
  border:none;
  padding: 0px;
  text-decoration: underline;
}
a.normalLink:hover{
  border:none;
  color:blue;
}
#search {
  font-size:12pt;
  padding:0px;
  margin-left:0.5em;
}
#search input{
  font-size:8pt;
}
.small {
  font-size:8pt;
}