body {
  background-color: #36414d;
  color: black;
  padding-left: 50px;
  padding-right: 50px;
  margin: 0px;
}

a:link {
  text-decoration: none;
}

a:active {
  text-decoration: underline;
}

a:visited {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

div.header {
  background-color: rgb(112, 128, 144);
  padding: 5px;
  border: thin solid black;
  color: #ffffff;
  text-align: center;
  font-size: 2.5em;
  font-weight: bold;
  text-shadow: #000000 0px 0px 5px;
}

div.footer {
  background-color: rgb(112, 128, 144);
  padding: 5px;
  color: #ffffff;
  border: thin solid black;
  text-align: center;
  font-size: 0.8em;
  font-style: italic;
}

div.nav {
  background-color: #e7e2c6;
  padding: 5px;
  border: thin solid black;
  margin: 5px 0 5px 0;
  vertical-align: top;
  width: 9em;
  font-size: 0.9em;
  clear: both;
  float: left;
}

div.content {
  background-color: #dddddd;
  padding: 5px;
  border: thin solid black;
  margin: 5px 0 5px 9.5em;
  font-family: sans-serif
}

div.content_wide {
  background-color: #dddddd;
  padding: 5px;
  border: thin solid black;
  margin: 5px 0 5px 0;
}

.content a {
  color: rgb(47, 79, 79);
}

dl.indented {
  margin-left: 20px;
  width: 80%;
}

dl.indented > dt {
  padding-left: 5px;
  font-weight: bolder;
  border-bottom: thin solid black;
}

dl.indented a {
  color: rgb(47, 79, 79);
}

dl.indented a:hover {
  text-decoration: none;
  color: #dddddd;
  background-color: rgb(47, 79, 79);
}

span.subheader {
  width: 95%;
  margin-left: auto;
  margin-right: auto;
  text-decoration: underline;
  font-size: 1.5em;
  font-weight: bolder;
  font-family: serif
}

span.subsubheader {
  font-weight: bolder;
  text-decoration: underline;
}

.content p {
  width: 95%;
  margin-left: auto;
  margin-right: auto;
}

p.subheader > a
{
  color: #ffffff;
}

.content ul {
  width: 95%;
  margin-left: auto;
  margin-right: auto;
}

p.hot {
  background-color: #ddffcc;
  padding: 5px;
  width: 90%;
  border: thin solid green;
  margin-left: auto;
  margin-right: auto;
  font-weight: bolder;
  font-size: 1.1em;
  text-align: center;
}

p.navbar {
  background-color: #e7e2c6;
  padding: 5px;
  width: 90%;
  border: thin solid black;
  margin-left: auto;
  margin-right: auto;
  font-size: 0.9em;
}

table.files {
  margin-left: auto;
  margin-right: auto;
  font-size: 0.8em;
}

.files th {
  border-bottom: thin solid;
}

.nav strong  {
  color: #36414d;
}

.footer a {
  color: rgb(47, 79, 79);
}

.nav a {
  color: rgb(47, 79, 79);
}

strong.underline {
  text-decoration: underline;
}

.smaller {
  font-size: smaller;
}