body { color: black; background: white; }
#navigation { float: left;
              position: fixed;
              padding: 5px;
              top: 0;
              left: 0;
              border-width: 1px;
	      border-style: dashed;
              background: white;
              font-size: 80%;
              width: 10em%;  }
.navigationlist {
              list-style: none;
	      margin: 0; }
#main { width: 80%; float: right; }
#Aktualisierung { font-size: 75%; }