/*
This is old CSS!
It's only here so that the RARA-AVIS archives keep working.
*/

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;
}