body
{ 
  margin: 0px;
  padding: 0px;
  font-family: verdana, arial, sans-serif;
  background-color: #EEF;
/*  font-size: 12px;*/
  }

div#header
{ 
  width: 100%;
  background-color: #CCF;
  padding-bottom: 10px;
  }

#header h2
{ 
  margin: 0;
  padding-top: 10px;
  padding-left: 20px;
  padding-bottom: 10px;
  padding-bottom: 0px;
}

#header p
{ 
  padding-top: 0;
  padding-left: 20px;
  margin: 0;
  font-size: 20px;
 }

div#menu
{ 
  float: left;
  background-color: #AAF;
  font-size: 12px;
  margin-right: 10px;
  width: 120px;
  }

#menu ul {list-style: none; margin: 0; padding:0;
           padding-bottom: 2em;
           text-align: center;}

#menu li {padding: 0.5em 0 0.25em;
           padding-left: .5em;
           padding-right: .5em;
           border-bottom: 1px solid white;
           }
#menu a {
          text-decoration: none;
          padding: 0 0.25em;
          border: 1px solid white;
          background: #CCF;
          position: relative; 
          top: 1em;
          overflow:hidden;
          display:block;
          }

#menu a:link , #menu a:visited {
               text-decoration: none;
               padding: 0.25em;
               color: #331;
               display:block;
               }

#menu a:hover {
                text-decoration: none;
                background-color: #113;
                padding: 0.25em;
                display:block;
                color: white !important;
                }

#body
{ 
  margin-left: 130px;
  margin-right: 10%;
  margin-top: 15px;
/*  margin: 15px;*/
  }

#body h2
{ 
  font-size: 20px;
  border-bottom: solid 1px #33F;
  width: 100%;
  margin: 0;
}

div.pullQuote
{ 
  width: 8em;
  font-size: 24px;
  padding: 10px;
}

div.right
{ 
  text-align: right;

  float: right;
}
.news 
{ 
  background-color: white;
  margin: 20px;
  }

.news table
{ 
  margin-left: 20px;

}
.news th
{ 
  white-space: nowrap;
  }
.news h3
{ 
  background-color:  #DDF;
  border-bottom: solid 2px #CCF;
  margin-bottom: 0;
  padding-bottom: 0;
  padding-left: 10px;
}

div#manpage
{ 
  margin-left: 130px;
  margin-right: 10%;
}

#manpage H2
{ 
  font-size: 18px;
  border-left: solid 2px #99F;
  border-bottom: solid 2px #99F;
  padding-left: 5px;
 }

table#manpagelist
{ 
  margin-top: 10px;
}

div#howto h2
{ 
  font-size 15px;
  border: none;
  background-color: #DDE;
  }
div#howto h3
{ 
  font-size 13px;
  border: none;
  background-color: #DDE;
  }

#htNav
{ 
  float:right;
  background-color: #EEF;
  font-size: 12px;
  }
div#footer
{ 
  margin: 0;
  padding: 0;
  padding-top: 3px;
  margin-top: 10px;
  border-top: solid 2px white;
  clear: both;
}