body {
  background: #000 url(./images/rivets_bg.jpg);
  color: #fff;
  font-family: tahoma, sans-serif;
  font-size: 18px;
}

div#content {
  margin-left: 210px;
}

div#menu {
  background: #000;
  outline: 2px ridge #888;
  width: 200px;
  float: left;
}

ul {
  list-style-type: none;
  padding-left: 8px;
}
ul.dash {
  list-style-image: url(./images/bullet.png);
}
ol {
  list-style-type: decimal;
}
ol li ol {
  list-style-type: lower-latin;
  padding-left: 1em;
}
ol.letters {
  list-style-type: lower-latin;
}
li {
  margin: 0px 16px 16px;
  
}
ul li ul li {
  font-size: 0.9em;
  padding-left: 8px;
}

div#menu ul li {
  margin-bottom: 8px;
  margin-left: 0px;
}

.quote {
  margin-left: 2em;
}
.quote p {
  font-style: italic;
}
.quote p :first-child {
  font-style: normal;
}

div div.title {
  background: none;
  border: 0px;
}
div.image {
  background: #000;
  border: 3px ridge #888;
  display: table;
  margin: 0px auto 2em;
  text-align: center;
  padding: 0px;
  font-size: 0.9em;
}
a, a:visited, a:link {
  color: #ff0;
}
li a:hover, li a:focus, li a:active, a.current {
  color: #c09;
}
a.external {
  background-image: url(./images/ext.png);
  background-position: right center;
  background-repeat: no-repeat;
  padding-right: 14px;
}

h1, h2, h3, h4 { margin: 0px; }

h1 {
  font-weight: normal;
  text-align: center;
  color: #ff0;
  text-decoration: underline;
  font-size: 2em;
}

h2 {
  font-weight: normal;
  padding-left: 6ex;
  padding-top: 2ex;
  color: #ff0;
  font-size: 1.5em;
}

h3 {
  font-weight: normal;
  padding-left: 3ex;
  font-size: 1.2em;
  padding-top: 2ex;
}

h4 {
  padding-left: 2ex;
  padding-top: 1ex;
  padding-bottom: 0px;
}


.centre {
  text-align: center;
  padding: 40px 0px;
}
.centre a {
  margin: 0px 40px;
}

pre {
  background: #000;
  outline: 2px ridge #888;
  float: none;
  display: table;
  padding: 2ex;
  font-size: 0.8em;
  line-height: 0.9em;
  margin-left: 3em;
}