/* Einheitlicher seitlicher Rand auf jeder exportierten Seite.
   padding statt margin, damit der Rand auch dann erhalten bleibt,
   wenn eine Seite (z.B. die Karte) body { margin: 0 } setzt. */
body {
  margin: 8px 0;
  padding: 0 8px;
}

.navigation ul {
  list-style: none;
  padding: 0;
  margin: 0;
  background: #4f5b66;
}

.navigation ul li {
  display: block;
  position: relative;
  float: left;
  background: #4f5b66;
  z-index: 1000;
}

.navigation li ul { display: none; }

.navigation ul li a {
  display: block;
  padding: 15px 20px;
  text-decoration: none;
  white-space: nowrap;
  color: #fff;
}

.navigation ul li a:hover { 
    background: #a7adba; 
}

.navigation li:hover > ul {
  display: block;
  position: absolute;
  z-index: 1000;
}

.navigation li:hover li { 
    float: none; 
}

.navigation li:hover a { 
    background: #4f5b66; 
}

.navigation li:hover li a:hover { 
    background: #a7adba; 
}

.navigation ul li ul li { 
    border-top: 0; 
}

.navigation ul ul ul {
  left: 100%;
  top: 0;
}

.navigation ul:before,
.navigation ul:after {
  content: " "; 
  display: table; 
}

.navigation ul:after { 
    clear: both; 
}