/*** navigation ***/
#page {
  margin-left:auto;
  margin-right:auto;
  width:960px;
}

#header {
  padding:10px;
  padding-top:1px;
}

#navigation ul {
  list-style-type:none;
  width:100%;
  padding:0;
  margin:0;
}

#navigation ul li {
  float:left;
  text-align:center
}

#navigation ul a {
  display:block;
  width:240px;
  padding-top:5px;
  padding-bottom:5px;
}

#content {
  padding:15px;
  padding-top:10px;
}

#buildtime {
  text-align:right;
}

/* h* CSS rule is default in Firefox */
h1,h2,h3 { margin-top: 1em; margin-bottom: 0.5em; }
h4,h5,h6 { margin-top: 0.5em; margin-bottom: 0em; }
p { margin-top: 0.2em; margin-bottom: 1em; }

img {
    border-width:2px;
    margin:4px;
}

hr {
    border:0px;
    height:2px;
}

pre {
    padding:.5em;
    margin:1em;
}

table th, table td {
    padding:0.2em 0.33em;
}

table td {
    padding:2px 4px;
}

/*** colors ***/
body {
  color:black;
  background:#667;
}

a:link { color:#225; }
a:visited { color:#667; }

img {
    border-color:black;
    border-style:solid;
}

hr { background-color:#225; }

pre {
    background:#EEE;
    border:1px solid #225;
}

table {
    border-collapse:collapse;
}

table th {
    background:#667;
    border:1px solid #FFF;
    color:#FFF;
}

table tr:hover {
    background:#B2B2CF;
}

table td {
    border-bottom:1px solid #ADADCC;
}

#page {
  background:white;
}

#navigation {
  color:white;
  background:#225;
}

#navigation a:link { color:white; }
#navigation a:visited { color:white; }
#navigation a:hover { background:#666; }

/*** fonts ***/
body {
  font-family:sans-serif;
  font-size:10pt;
}

code {
    font-family:monospace;
}

#navigation a:link {
  text-decoration:none;
}

#navigation a:visited {
  text-decoration:none;
}