body
{
    text-align: left;
    background : #ffffff url("body_back.gif") repeat-x;
    font-family : Verdana, Lucida, sans-serif;
    color: black;
    padding: 1%;
}

h2.title {
    text-align: center;
    font-size: 150%;
    border-bottom: thick solid #cc2211;
    /* width: 90%; */
}


a {
    font-weight: bold;
    color: #777777;
    text-decoration: none;
}


a:hover
{
    color: #772211;
}



div.navbar 
{
  position: absolute;
  width: 20%;
  margin-top: 1%;
  left: 2%;

  border: #aa5533;
  border-width: 10px 0em 10px 0em;
  /* border-style: solid none solid none; */
  border-style: solid;
  /* float: left; */
  text-align: left; 
  /* padding-left: 82%; */
  font-size: 95%;
}




div.navbar p, div.navbar h2 
{
  text-indent: .5em;
  border-color: #aa5533;
  /* background: #777777; */
  background: #888888;
  margin: 0em;
  padding-top: .3em;
  padding-bottom: .3em;
  width: 100%;
  border-width: 2px;
  border-style: inset none inset none;
  /* border-style: inset; */
  /* border-color: #005510; */
}



div.navbar p {
    text-indent: 2em;
    /* padding-left: .4em; */
}


div.navbar p:hover 
{
    background: #aa5533;
    border-color: #990000;
}

div.navbar h2:hover
{
    background: #aa5533;
    border-color: #990000;
}


div.navbar a {
    color: #eeeeee;
}



div.mainbody {
    /* float: left; */
    /* background: #fffaf7; */
    width: 60%;
    margin-left: 24%;
    margin-right: 4%;
    padding-left: 1%;
    padding-right: 1%;
}

div.mainbody h1 {
    color: #aa5533;
    text-align: center;
    border-bottom: thin solid #777777;
}
div.mainbody h2 {
    color: #aa5533;
    text-align: left;
    border-bottom: medium solid #777777;
}
div.mainbody h3 {
    color: #aa5533;
    text-align: left;
    border-bottom: thin solid #777777;
}


div.mainbody pre {
    margin-left: 1.1em;
    border-style: groove;
    border-width: thin;
    background: #f0f0f0;
}