
  /* ++++++++++++++ horizontale Menüleiste ++++++++++++++++++++*/

  .menubar {
    font-family     : Verdana, Arial, Helvetica, Sans-Serif;
    font-size       : 13px;
    font-weight     : normal; 
    text-decoration : none;
    padding         : 0px 10px 1px 10px;     /* oben rechts unten links */
  }

  .menubar:link    {color            : #FEFEFF; } 
  .menubar:visited {color            : #DDDDDD; } 
  .menubar:focus   {color            : #000088;
                    background-color : #BBDDFF; } 
  .menubar:hover   {color            : #000088;
                    background-color : #BBDDFF; } 
  .menubar:active  {color            : #000088;
                    background-color : #CCEEFF; }

  /* ++++++++++++++ Menü an der Seite +++++++++++++++++++++++++*/

  .menucontainer {                   /* der ganze Menüblock */
    position    : relative; 
    top         : 0px;
    left        : 0px;
    width       : 170px;  
    padding     : 5px;                  /* Abstand innen */

    font-family : Verdana, Arial, Helvetica, Sans-Serif;
    font-size   : 13px;
   /* background-color: #eeFFdd; /* */
   /* border: 1px solid #aaf;    /* */
  }

  .menutitle {                         /* Menüüberschrift */
    font-weight    : bold;
    letter-spacing : 1px;
    text-transform : uppercase; 
    color          : #000088;          /* Farbe Menütext blue */
    padding        : 2px 0px 2px 3px;  /* oben rechts unten links */
    margin-bottom  : 5px;
  }

  a.menu {                             /* Link als Menüpunkt */
    display         : block;
    letter-spacing  : 0.5px;
    text-decoration : none;            /* keine Unterstreichung */

    padding         : 3px 0px 3px 3px; /* Platz um die Einträge orul */
    margin-left     : 10px;            /* Platz vor dem Menüpunkt */
    margin-bottom   : 2px;
    color           : #000088;         /* Farbe Menütext */

    border-bottom   : 1px dotted blue; /* Linie darunter */
  }

  a.menu:hover, a.menu:focus {
    background-color : #3A5A95; /* #7DAED4; */
    color            : #FEFEFF;
  }
 