body {
    padding: 0;
    margin: 0;
   }
   
   div {
     border: 0;
     margin: 0;
     padding: 0;
     overflow: hidden;
   }
   div#theContainer {
     display: flex;
     flex-flow: row nowrap;
     position: absolute;
     width: 100%;
     height: 100%;
     top: 0;
   }
   div#theNavigator {
     order: 0;
     flex-grow: 0;
     flex-shrink: 0;
     flex-basis: auto;
     /* Breite optisch der Textlänge der Module anpassen */
     /* margin und padding von div#theNavContent beachten! */
     /* padding des Logos beachten */
     width: 200px;
     height: 100%;
   }
   div#theFrameContainer {
     order: 1;
     flex-grow: 1;
     flex-shrink: 1;
     height: 100%;
   }
   div#theLogo {
     display: block;
     border: 1px solid #a8a8a8;
     border-right-width: 0;
     position: absolute;
     height: 60px;
     background: #f1980f;
     padding-left: 20px;
     padding-right: 84px;
   }
   div#theNavContent {
     display: block;
     position: absolute;
     top: 60px;
     width: 192px;
     height: calc(calc(100% - 60px) - 12px);
     border-width: 1px;
     border-style: solid;
     border-color: #a8a8a8;
     border-radius: 3px;
     margin-top: 7px;
     padding-right: 0;
     padding-left: 0;
     margin-left: 5px;
   }
   iframe#theFrame {
     overflow: hidden;
     height: 100%;
     width:100%;
     border: 0;
     margin-left: -1px;
   }
   h3#modList {
     color: rgb(79, 79, 79);
     font-family: "Verdana", "sans-serif";
     font-size: 12px;
     font-weight: 700;
     line-height: normal;
     list-style-image: none;
     list-style-position: outside;
     list-style-type: none;
     padding-top: 6px;
     padding-bottom: 7px;
     padding-left: 10px;
     margin-top: -1px;
     margin-left: -1px;
     margin-right: -1px;
     margin-bottom: 4px;
     background: #c4c4c4;
     border-width: 1px;
     border-style: solid;
     border-color: #a8a8a8;
     border-top-left-radius: 3px;
     border-top-right-radius: 3px;
   }
   a.nav {
     color: rgb(79, 79, 79);
     cursor: pointer;
     font-family: "Arial", "sans-serif";
     font-size: 12px;
     font-style: normal;
     font-weight: normal;
     line-height: 15.6px;
     list-style-image: none;
     list-style-position: outside;
     list-style-type: none;
     line-height: 1.3;
     text-decoration: none;
     padding-left: 10px;
     padding-bottom: 1px;
     padding-top: 1px;
     position: absolute;
     height: 16px;
   }
   a.nav.selected {
     font-weight: 700;
     padding-left: 6px;
     margin-left: 2px;
     margin-top: -1px;
     width: calc(100% - 12px);
     background-color: #c4c4c4;
     border: 1px solid #a8a8a8;
     border-radius: 3px;
   }
   a.nav:hover {
     text-decoration: underline;
     text-decoration-color: rgb(79,79,79);
   }