#mainland
      {  
         position:absolute;
         top: 144px;
         right: 0px;            /* fixme: at 5px, it disappears to the right of screen border. Why ? */
         left: 0px;             /* now fixed: depends on removing left and right from #ifmain. */
         bottom: 0px;
         margin-bottom: 1em;

         overflow-y: auto;
         z-index: 5;

            padding-left: 4%;
            padding-right: 4%;

                 /*  border: solid black 2px;  */
                     background-color: white;
      }

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

         overflow: hidden;
         z-index: 1;

            width: 100%;
            height: 100%;
                        background-color: white;
      }

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

         z-index: 0;
         overflow: hidden;

                        background-color: white;
      }


   #ifnav
      {  position:absolute;
         top: 100px;
         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;
                  right: 0px;

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

   #levelA {
                  position: absolute;
                  bottom: 0px;
                  width: 100%;

      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;
                  right: 40px;

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

   #ultst1 {
      position: absolute;
      top: 0px;
      left: 0px;
      width: 145px;
      height: 2px;
      border: none;
      color: yellow;
      background-color: yellow;
   }

   #ultst2 {
      position: absolute;
      top: 0px;
      left: 145px;
      width: 5px;
      height: 2px;
      border: none;
      color: blue;
      background-color: blue;
   }

   #ul {
      position: absolute;
      top: 80px;
      left: 0px;
      right: 20px;
      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; }