body {
  background: rgb(255, 235, 205); /* BlanchedAlmond, same as my xterms! */
  color: black;
}

div.header {
  /* background: rgb(255, 180, 121); */
  padding: 0.5em;
  margin-left: 13em;
}

div.header h1 {
  /* letter-spacing: 0.2em; */
}

div.left {
  /* float: left; */
  /* width: 20%; */

  position: absolute;
  /* top: 5.1em; */
  left: 1em;
  width: 12em;

  /* padding: 1%; */
  border-right: thin solid black;
}

div.left p {
  margin-left: 0;
  text-indent: 0;
}

div.left img {
  border: 0;
}

div.right {
  /* float: right; */
  /* width: 75%; */
  margin-left: 13em;
  padding: 1%;
  max-width: 40em;
}

/* Lifted this menu bar stuff from
   http://simon.incutio.com/archive/2003/05/27/funWithLinks
   Thanks, Simon.
*/

div#menu a {
  display: block;
  /* float: left; */
  /* width: 4em; */
  padding: 0 0.2em;
  margin-right: 1em;
  text-decoration: none;
  border: 1px solid red;
  background-color: rgb(255, 235, 205);
  color: #00f; /* black; */
}

div#menu a:hover {
  background-color: white;
  color: #00f;
}

div#menu a:visited {
  color: #800080; 
}

div#menu span {
  display: none;
}

h1 {
  color: #c33;
  background: rgb(255, 235, 205);
  font-weight: bold;
  text-align: center;
}

h2 {
  color: black;
  background: rgb(255, 235, 205);
  font-weight: bold;
}

h3 {
  color: black;
  background: rgb(255, 235, 205);
  margin-left: 4%;
  margin-right: 4%;
  font-weight: bold
}

h4 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

h5 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

p {
  text-indent: 2em;
  /* max-width: 30em; */
}

blockquote p {
  text-indent: 0em
}

dl p {
  text-indent: 0em
}

ul, ol, dl, p {
  margin-left: 1em;
  margin-right: 1em;
}

pre {
  font-family: monospace;
  margin-left: 5%;
  white-space: pre;
  text-indent: 0em;
}

code {
  font-family: monospace;
  /* white-space: pre; */
}

table {
  margin-left: 4%;
  margin-right: 4%
}

table caption {
  font-size: larger;
  font-weight: bolder
}

ul ul, ol ol, ul ol, ol ul, table p, table ul, table dl, table ol, ul table, dl table, ol table, ol p, ul p, dl p, dl ul, dl ol, ul dl, ol dl, dl dl, blockquote p, .note p, .note ul, .note ol, .note dl, .note table {
  margin-left: 0;
  margin-right: 0
}

p small {
  font-size: smaller;
}

p.top {
  margin-left: 1%;
  margin-right: 1%
}

blockquote {
  margin-left: 5em;
  margin-right: 5em;
  padding: 1em;
  border: thin solid #000000;
}

acronym {
  border-bottom: thin dotted black;
  cursor: help;
}

a {
  color: #00F;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a:active {
  text-decoration: underline;
}

a:visited {
  color: #800080;
}


/* Form stuff */

input.button {
  color: black;
  background-color: rgb(255, 235, 205);
  font-weight: bolder;
  font-size: smaller;
  border: 1px solid black;
}