body {
  text-align: center;
  font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, sans-serif;
  font-size: 87.5%; /* 16pt -> 14pt */
  background-color: #696969;
  color: black
}

#container {
  width: 40em; /* everybody except... */
  !width: 44em; /* IE7 */
  padding: .25em 2em;
  margin: 2em auto;
  text-align: left;
  background-color: #F1F2F3
}

#breadcrumbs {
  font-size: 71.429% /* 14pt -> 10pt */
}

#title {
  padding-bottom: .25em;
  border-bottom: 2px solid #696969;
  margin: 2.5em auto 1.5em;
  color: #676C9C
}

#colophon {
  margin-top: 4em;
  font-size: 71.429% /* 14pt -> 10pt */
}

blockquote.alert {
  padding: .5em;
  border: 2px solid;
  margin-top: 1.5em;
  margin-bottom: 1.5em
}

h3 {
  margin-top: 1.5em;
  color: #676C9C
}

p.header {
  margin-top: 1.5em;
  font-weight: bold
}

dt.header {
  margin-top: 1.5em;
  font-weight: bold;
  color: #676C9C
}
dt.subheader { font-weight: bold }
dl dl {
  margin-top: 0;
  margin-bottom: 0
}

li.spaceafter { margin-bottom: .5em }

table { font-size: 100% }

/* We leave "monospace" off the end of the following font list; if
 * left on, Safari (at least v3.2.1) inexplicably ignores the font
 * size.
 */

code, pre {
  font-family: Courier, "Courier New";
  font-size: 100%
}