div.header {
  background-color: rgb(230,230,230);
  border-style: solid;
  border-width: 1px;
}

div.header p.title {
  margin: 5px 0px 0px 5px;
  padding: 0px;
  font-size: x-large;
  font-weight: bold;
}

div.header p.menu {
  text-align: right;
}

div.header ul.navigation {
    height: auto;
    margin-top: 1px;
    padding: 0px 0px 0px 5px;
}

div.header ul.navigation li {
    display: inline;
    margin: 0px 0px 0px 0px;
    padding: 0px 30px 0px 0px;
    background-color: rgb(230,230,230);
}

div.header ul.navigation li a {
}

div.page h1 {
  font-size: large;
}

div.page h2 {
  font-size: medium;
}

div.page h3 {
  font-size: medium;
  font-weight: normal;
  font-style: italic;
}

div.page dl dd {
  margin-bottom: 10px;
}

p.timestamp-subtitle {
  margin-top: -15px;
  font-size: small;
}

p.timestamp-foot {
  margin-bottom: 45px;
  font-size: small;
}

div.pagination {
  font-weight: bold;
  background-color: rgb(230,230,230);
  border-style: solid;
  border-width: 1px;
  text-align: center;
  padding: 5px;
}

div.pagination a.prev {
  float: left;
}

div.pagination a.next {
  float: right;
}

span.media {
  float: right;
  margin-left: 30px;
  margin-bottom: 30px;
}