img {
    border: 0px;
    margin: 5px;
}

dt {
    font-weight: bold;
}

dd {
    margin-bottom: 1em;
}

dd > p {
    margin-top: 0em;
}

tr, th, td {
    text-align: left;
}

body {
    margin: 0px;
    padding: 0px;
    font-size: 12px;
    font-family: serif;
}

p.caption {
    font-size: 0.9em;
}

div.figure {
    margin-left: 5%;
    margin-right: 5%;
}

div.figure > img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

h1, h2, h3 {
    font-family: Times;
    font-weight: bold;
    color:#6b4938;
}

h2, h3 {
    margin-top: 1em;
}

h1 {
    font-size: 2em;
}

h2 {
    font-size: 1.5em;
    border-bottom: 1px solid #007c0d;
}

h3 {
    font-size: 1.2em;
}

pre {
    margin-left: 5%;
    background: #e0e0e0;
    font-size: 1em;
}

pre.manpage {
    margin-left: 0px;
    background: #ffffff;
}

#title_text {
    font-family: Bitstream Charter, Times;
    font-weight: bold;
    font-size: 24px;

    position: absolute;
    top: 10px;
    left: 50px;
}

#navigate > a {
    text-decoration: none;
    font-weight: bold;
    color: #008c02;
    display: block;
    margin-bottom: 1em;
}

#navigate > h2 {
    margin-top: 2em;
}

#title {
    background: #1e2615;
    color: #007c0d;

    position: absolute;
    top: 0px;
    left: 0px;
    width: 100%;
    height: 50px;
}

#sflogo {
    position: absolute;
    width: 200px;
    left: 50px;
    top: 80px;
    height: 50px;
}

#navigate {
    position: absolute;
    top: 225px;
    left: 50px;
    width: 150px;
}

#content {
    position: absolute;
    top: 150px;
    left: 10px;
    width: 800px;
    font-size: 1em;
}

#links {
     position: absolute;
     top: 10px;
     left: 400px;
     padding: 5px;
     margin-left: 15px;
     color:#6b4938;
     font-size:12pt;
     font-weight: bold;
}

#links_links {
     position: absolute;
     left: 400px;
     top: 50px;
     padding: 5px;
     margin-left: 15px;
     font-weight:bold;
     font-size:10pt;
     background:#8d9d75;
     height:80px;
     width:120px;
}

a {
    color: #007c0d;
    text-decoration:none;
}

a.nav {
   display: block;
   margin-bottom: 0.2em;
}

a:hover {
    color: #000000;
}

a:active {
     color: #000000;
}

#docs {
     position: absolute;
     top: 10px;
     left: 550px;
     padding: 5px;
     margin-left: 15px;
     color:#6b4938;
     font-size:12pt;
     font-weight: bold;
}

#docs_links {
     position: absolute;
     left: 550px;
     top: 50px;
     padding: 5px;
     margin-left: 15px;
     font-weight:bold;
     font-size:10pt;
     background:#8d9d75;
     height:80px;
     width:120px;
}

#hacking {
     position: absolute;
     top: 10px;
     left: 700px;
     padding: 5px;
     margin-left: 15px;
     color:#6b4938;
     font-size:12pt;
     font-weight: bold;
}

#hacking_links {
     position: absolute;
     left: 700px;
     top: 50px;
     padding: 5px;
     margin-left: 15px;
     font-weight:bold;
     font-size:10pt;
     background:#8d9d75;/*#a09a94;*/
     height:80px;
     width:120px;
}

#box {
     position: absolute;
     top:50px;
     left:500px;
     width:15px;
     height:20px;
     background-color:#8d9d75;
}

li {
    margin-bottom: 0.5em;
}

#footer {
  margin-top: 2em;
  text-align:left;
  padding: 10px;
  width:100%;
  font-size:7pt;
  background:#1e2615;
  color:#6b4938;
  border-top: 5px solid #8d9d75;
}