body {
  padding: 0px;
  margin: 0px;
  background-color: #ffffff;
  color: #000000;
  font-family: Arial, Helvetica, sans-serif;
  font-size: small;
}
a {
  text-decoration: none;
  color: #333333;
}
a:hover {
  text-decoration: underline;
  color: #000000;
}
#navigation-top a {
  padding-right: 10px;
}
pre {
  background-color: #eaeaea;
  padding: 5px;
}
h2, h3 {
  margin: 5px 0px 5px 0px;
}
h4, p, ul {
  margin: 5px 0px 5px 0px;
}
.section {
  margin-bottom: 15px;
}
.title {
  margin-bottom: 15px;
  text-align: center;
}

#header {
  background-color: #ffffff;
  width: 1000px;
  height: 50px;
  position: absolute;
  top: 0px;
  left: 0px;
}
#navigation-top {
  background-color: #ffffff;
  width: 1000px;
  height: 50px;
  position: absolute;
  top: 0px;
  left: 0px;
}
#navigation-left {
  background-color: #ffffff;
  width: 200px;
  position: absolute;
  top: 50px;
  left: 10px;
  padding: 10px;
}
#content {
  background-color: #ffffff;
  width: 730px;
  position: absolute;
  top: 50px;
  left: 240px;
  padding: 10px;
}
#background {
  background-color: #7f7f7f;
  width: 1000px;
  height: 480px;
  position: absolute;
  top: 50px;
  left: 0px;
}