body {
  background-color: #c0c0c0;
  font-family: arial, sans-serif;
  width: 100%;
  margin: 0;
  padding: 0;
}

#navigation {
  float: left;
  width: 160px;
}

#body {
  margin-left:160px;
}

a img {
  border: none;
}

h1 {
  width: 400px;
  margin: auto;
}

h2 {
  margin-top: 2em;
  color: #666666;
  font-size: 1.15em;
}

h3 {
  color: #00f;
  margin-bottom: 0.3em;
  font-size: 1.07em;
}

h4 {
  margin-bottom: 0em;
  font-size: 1.04em;
}

strong {
  color: #f00;
  font-weight: normal;
}

table.data {
  width: 60%;
}

table.data th {
  text-align: left;
  color: #c00;
  font-weight: bold;
  border-bottom: 2px #000 solid;
}

table.data td {
  border-bottom: 1px #000 solid;
}


ul.references {
  list-style: none;
}

ul.references li {
  margin-bottom: 0.5em;
}

div.references {
}