html {
  background-color: silver;
}
body {
  background-color: silver;
  height: 100%;
}
h2 {
  color: navy;
  border-top: 1px dashed silver;
  background-color: #F0F0F0;
}
h3 {
  margin: 2em 0 1em 0;
}
pre.prettyprint {
  border: 0;
  border-left: 3px solid silver;
  margin-left: 2em;
  padding: 0.5em;
}
a {
  color: #008000
}
a:visited {
  color: #004000
}

.page {
  height: 100%;
  margin: 0 auto;
  max-width: 80em;
  min-width: 30em;
  width: 75%;
  padding: 0 15px;
  border-left: 6px solid #DDD;
  border-right: 6px solid #DDD;
  border-bottom: 6px solid #DDD;
  background-color: #FCFCFC;
  position: relative;
}
.header h1 {
  float: left;
}
.header p {
  clear: both;
}
.menu {
  list-style-type: square;
  float: right;
  margin: 0;
}
.menu li {
  display: inline;
  border-right: 1px solid navy;
  padding: 0 0.5em;
}
.menu li.last-child {
  border-right: none;
  padding-right: 0;
}
.content {
  clear: both;
  border: 1px solid #DDD;
  background-color: white;
  padding: 10px;
}
dt {
  background: transparent url(../images/bullet.png) no-repeat scroll 0 50%;
  padding-left: 15px;
}
dd {
  margin: 5px 0 20px 0;
  color: dimgray;
}
.footer p {
  position: relative;
  color: white;
  background-color: dimgray;
  border: 6px solid #DDD;
  text-align: center;
  margin: 10px auto;
  padding: 6px;
  width: 85%;
  top: 40px;
}
.footer a {
  color: #BFFFFF;
  text-decoration: none;
}