#nav {
  margin: 0 0 24px 0;
  padding: 0;
  font-size: 110%;
}

#nav ul {
  margin: 0px;
  padding: 0;
  list-style-type: none;
}

#nav li {
  float: left;
}

#nav a {
  vertical-align: middle; /* should be bottom, but looks bad in IE6 */
  text-decoration: none;
  color: #4F3795;
  padding: 4px 7px 5px 7px;
  margin: 0 3px;
}

#nav a:hover {
  background-color: #FFE7CF;
  color: #4F3795;
  /* padding: 4px 7px 5px 7px;
   border: 1px solid #4F3795; */
}

/* #nav a, #nav a:hover
 * für die aktuelle Auswahl gibt es eine eigene Regel ;
 * siehe main::styles()
*/

#nav img { /* removed, looks bad in IE6 */
  /*position: relative;
  bottom: 2px;*/
}

#subnav {
  margin: 0 0 4ex 0;
  padding: 0 0 4px 0;
  background-color: #8067C7;
  color: white;
  border: 2px solid white;
}

div.choose {
    color: #4F3795;
    font-size: 120%;
    font-weight: bold;
    margin-bottom: 1ex;
    margin-left: 15px;
}

#subnav ol {
    margin: 0;
    padding: 5px 3em;
}

#subnav li {
}

#subnav a, #subnav a:visited {
    color: white;
    text-decoration: none;
    padding: 2px;
}

#subnav a:hover {
    color: #8067C7;
    background-color: white;
}