body {
  color: black;
  background-color: #FFFFea;
  font-family: Helvetica, Verdana, Arial, sans-serif;
  font-size: 110%;
  margin: 0;
  padding: 0;
}

a { text-decoration: none; }
a:hover { text-decoration: underline; }

.superHeader {
  color: white;
  background-color: #55aaaa;
  height: 1.6em;
  position: relative;
}

.superHeader a {
  color: white;
  font-size: 91%;
  padding: 0 0.5ex;
}

.superHeader .left {
  position: absolute;
  left: 0.4em;
  top: 0.4ex;
}

.superHeader .right {
  position: absolute;
  right: 0.4em;
  top: 0.4ex;
}

.midHeader {
  background-color: #EAFFFF;
  border: solid 0 black;
  border-width: 2px 0;
}

.headerTitle {
  color: black;
  font-size: 233%;
  font-weight: normal;
  margin: 0;
  padding: 0.25ex 0 0.25ex 0.2em;
  border-left: 2.5ex #8888cc solid;
}

.headerTitle a { color: black; }
.headerTitle a:hover { text-decoration: none; }

#side-bar {
  background-color: #EFFFEF;
  padding: 0.5em 0;
  margin-left: 3em;
}

#side-bar ul {
  list-style: none;
  margin: 0;
  padding: 0;
}

#side-bar li {
  display: inline-block;
}

#side-bar a {
  color: black;
  font-weight: bold;
  padding: 0.25em 1ex;
  display: block;
}

#side-bar a:hover {
  color: white;
  background-color: #55aaaa;
  text-decoration: none;
}

#main-copy {
  max-width: 70em;
  line-height: 1.5em;
  margin: 0 0 0 3em;
  padding: 1em;
}

#main-copy a {
  color: rgb(0,102,204);
}

#main-copy a:hover {
  color: rgb(100,135,220);
}

#main-copy h1, #main-copy h2 {
  color: rgb(0,102,204);
  font-size: 120%;
  font-weight: bold;
  margin: 1.5em 0 0 0;
  padding: 0.5ex 0;
  border-bottom: 2px solid rgb(0,102,204);
}

#main-copy h2 {
  font-size: 120%;
  border-bottom: 1px solid rgb(0,102,204);
}

pre {
  margin-left: 2em;
  font-size: 1.1em;
  background: #f5f5f5;
  padding: 0.5em;
}

#footer {
  color: white;
  background-color: #55aaaa;
  padding: 1em;
  margin-top: 2em;
}

#footer a { color: white; }