body, html {
  margin-left: 2%;
  margin-right: 2%;
  font-family: serif;
}

h1, h2 {
  font-family: sans-serif;
  font-weight: bold;
}

h1 { }
h2 { }

a:link {
  font-weight: bold;
  text-decoration: none;
}

a:visited, a:active {
  font-weight: bold;
  text-decoration: none;
}

.release {
  margin-left: 3%;
}

.minor-note {
  font-size: smaller;
}

#nav {
  width: 100%;
  text-align: right;
  font-family: sans-serif;
  font-weight: bold;
  color: white;
  background-color: #df1f1f;
  border-style: solid;
  border-width: 1px;
  border-color: #7f0000;
}

#links {
  margin-left: 3%;
}

#page-rev { }

#copyleft {
  font-size: smaller;
}