body {
  font-size: 12px;
  line-height: 18px;
  font-family: "Bitstream Vera Sans", sans-serif;
  color: black;
  background-color: white;
  font-weight: normal;
  font-style: normal;
  text-decoration: none;
  margin: 0px;
}

a:link, a:visited, a:hover, a:active {
  color: #0000ff;
  text-decoration: none;
}

a:link img, a:visited img, a:hover img, a:active img {
  border-style: none;
}

div, ul {
  font-size: 12px;
  line-height: 18px;
  font-family: "Bitstream Vera Sans", sans-serif;
}

input, select, textarea{
  padding: 1px;
/*  border: 1px solid gray;
*/
}

pre, code {
  font-size: 12px;
  line-height: 18px;
  font-family: "Bitstream Vera Sans Mono", monospace;
  white-space: pre;
} 

#header {
  width: auto;
  float: none;
  padding: 15px 15px 15px 15px;
  background-color: #c3d9ff;
  border-bottom: 1px solid;
}

#header_left {
  float: left;
  font-size: 20px;
  line-height: 22px;
  font-family: "Bitstream Vera Sans", sans-serif;
}

#header_right {
  float: right;
}

#content_container {
  width: 80%;
  float: right;
}

#content_container_full {
  width: 100%;
  float: right;
}

#content {
  width: auto;
  text-align: justify;
  padding: 10px 15px 10px 15px;
}

#navigation_container {
  width: 20%;
  float: left;
}

#navigation {
  width: auto;
  text-align: left;
  padding: 10px 15px 10px 15px;
}

#footer {
  width: auto;
  float: none;
  text-align: center;
  padding: 10px 15px 10px 15px;
  border-top: 1px solid;
}

.hidden {
  display: none;
}

.clear {
  clear: both;
}