body { overflow: hidden }

   #mainland_outer {
      position: absolute;
      overflow-y: auto;
         top: 144px;
         width: 100%;
         left: 0px;
         bottom: 0px;
         border-top: 0px;
         outer.borderTop = "2px dashed lightgray";
   }

   #mainland
      {  
         position:relative;
         width: 640px;

         z-index: 5;

         margin-left: 20px;
         margin-right: 10px;
         overflow: hidden;

                 /*  border: solid black 2px;  */
      }

   #ifmain
      {  
         position:absolute;
         top: 0px;
         bottom: 0px;

         overflow: hidden;
         z-index: 1;

         width: 100%;
         height: 100%;
      }

   #ifmainshell
      {
         position: absolute;
         top: 0px;
         left: 150px;
         right: 0px;
         height: 100%;

         z-index: 0;
         overflow: hidden;

      }


   #ifnav
      {  position:absolute;
         top: 120px;
         left: 0px;
         width: 150px;
         height: 500px;

         overflow-y: auto;
      }

   #homeptr {
                  position: absolute;
                  top: 80px;
                  height: 16pt;
                  left: 20px;
                  right: 0px;

      text-align: left;
      margin: 0px;
      padding-top: 6px;
      font-size: 16pt;
      z-index: 11;
   }

   #thesky {
                  position: absolute;
                  top: 20px;
                  height: 50px;
                  left: 0px;
                  width: 660px;

      vertical-align: bottom;
      z-index: 10;
   }

   #levelA {
                  position: absolute;
                  bottom: 0px;
                  width: 670px;

      vertical-align: sub;
      text-align: left;
      margin: 0px;
      font-size: 20pt;
      font-weight: 100;
      font-style:normal;
      z-index: 10;
   }

   #levelB {
                  position: absolute;
                  top: 80px;
                  height: 16pt;
                  left: 0px;
                  width: 670px;

      text-align: right;
      margin: 0px;
      padding-top: 6px;
      font-size: 16pt;
      z-index: 10;

   }

   .ul {
      position: absolute;
      top: 80px;
      left: 0px;
      width: 670px;
      height: 2px;

      border: none;
      z-index: 10;
   }

   .ulmcl { color: #8B0000; background-color: #8B0000; }
   .ulnetwork { color: green; background-color: green; }
   .uldoc { color: orange; background-color: orange; }

   .release { font-family: monospace; }