body { background: white;
       color: #126;}

/* home icon */
div.homeIcon { position: absolute;
               left: 0px;
               top: 0px;}

/* Top menu. */
div.topMenuBar { position: absolute;
                 left: 200px;
                 top: 20px;
                 width: 550px;
                 height: 30px;
                 border-top: 1px solid black;
                 font-size: 14px;
                 z-index: 1;}

div.topMenu { display:block;
              float: left;
              height: 20px;
              width: 160px;
              top: 0px;
              margin: 0px;
              padding-top: 5px;
              padding-bottom: 5px;
              padding-left: 20px;
              text-align: left;
              border-left: 1px solid black;
              background: url(/img/menuBgMiddle.png);}

div.topMenu a { text-decoration: none;
                color: #126;}

div.topSubMenu a:hover { color: blue;}

div.topMenu:first-child { border-left: none;}

div.topSubMenu { visibility: hidden;
                 display: none;
                 color: #126;
                 background: url(/img/menuBgMiddle.png);
                 width: 150px;
                 margin: 0px;
                 text-align: left;
                 padding-top: 5px;
                 padding-bottom: 5px;
                 padding-left: 5px;
                 border: 1px solid black;
                 z-index: 2;}

/* Search field. */
div.searchField { position: absolute;
                  left: 760px;
                  top: 20px;
                  background: white;
                  font-size: 9px;
                  z-index: 1;}

/* Left menu, when present. */
div.leftMenu { position: absolute;
               left: 0px;
               top: 80px;
               margin: 0px;
               width: 150px;
               background: white;}

div.leftMenu ul { display: block;
                  padding: 0px;
                  margin-left: 0px;
                  margin-top: 0px;}

div.leftMenu li { display:block;
                  list-style: none;
                  width: 150px;
                  left: 0px;
                  padding: 2px;
                  background: white;}

div.leftMenu a { display: block;
                 background: #d2e6f0;
                 padding: 2px;
                 border-right-width: 2px;
                 border-bottom-width: 2px;
                 border-left-width: 0px;
                 border-top-width: 0px;
                 border-style: solid;
                 border-color: #48d3b4;
                 text-decoration: none;
                 font-size: 12px;
                 color: black;}

div.leftMenu a:hover { background: #52f0cc;
                       font-weight: bold;
                       margin-left: 5px;
                       width: 150px;}

/* Main area of the page. */
div.mainPage { position: relative;
               left: 160px;
               top: 80px;
               width: 80%;
               z-index: 0;
               clear: both;}

div.mainPage ul { margin-top: 0px;}

div.mainPage p { margin-bottom: 0px;
                 margin-left: 10px;}

div.mainPage p:before { content: url(/img/ball.png) " ";}

div.mainPage pre { margin-left: 10px;}

div.location { margin-left: 20px;
               margin-bottom: 30px;
               font-size: 12px;
               font-style: italic;
               color: black;
               }

h4.notVisible { font-size: 3px;
                color:#fefefe;}

h1 { font-weight: bold;
     font-size: 16px;
     text-align: center;
     color: gray;
     clear: both;}

tt { background: #e5e5e5; }
pre { background: #e5e5e5; }