body {
  color: #656667;
  background: #ffffff;
  margin-left: +30%;
  margin-right: +20%;
  /* I can't decide on font: Optima's always nice, but Gill looks
     agreeably intense.  Helvetica's a decent fallback. */
  /* font-family: Optima, "Gill Sans", gill, Helvetica, sans-serif; */
  font-family: "Gill Sans", gill, Helvetica, sans-serif;
  line-height: 150%;
}

div#nav {
  position: fixed; /* CSS2 */
  width: 15%;
  top: 0px;
  right: 0px;
  background: #656667;
  color: #ffffff;
  font-weight: bold;
}
div#nav ul#start { margin-top: 30px; }
div#nav a:link { color: #ffffff; }
div#nav a:visited { color: #ffffff; }
div#nav a[href]:hover { background: #262626; }

div#logo {
  margin-left: -30%;
  margin-top: 10px;
  float: left;
}

div.trailer {
  border-top: thin solid #656667;
  margin-left: -40%;
  padding-top: 1ex;
  font-style: oblique;
  text-align: right;
}

/* Link colours should be specified, since text colour was in <body> */
a:link { color: #882826; }
a:visited { color: #882826; }
a[href]:hover { background: #ede7c0; } /* might be better to fix this as #EEE */

h1, h2, h3, h4, h5, h6 {
  color: #656667;
  font-weight: 100;             /* few fonts have ultra-light weights */
  line-height: 100%;            /* no need to spread out titles */
}

h1 {
  color: #882826;
  margin-left: -40%;
  margin-right: -5%;
  padding: 0.5em;
  border: solid #656667;
  text-align: right;
}
h2 {
  color: #882826;
  margin-left: -40%;
  margin-right: -5%;
  padding-top: 0.5ex;
  border-top: solid thin #656667;
  clear: left;
}
h3 {
  color: #656667;
  margin-left: -30%;
  float: left;
  width: 25%;
  display: block;
  text-align: right;
  vertical-align: bottom;
  padding-top: 0pt;
  padding-right: 0.5em;
  margin-top: 0px;
}

h4, h5, h6 {
  font-style: oblique;
}

table {
  font-family: "Gill Sans", gill, Helvetica, sans-serif;
  font-size: normal;
}
td {
  border: solid thin;
  padding: 3pt;
}

pre {
  background: #ede7c0;
  padding: 3pt;
  line-height: 120%;
}

.rcskey {
  font-size: small;
  font-family: monospace;
  color: #262626;
}

/* See example in CSS2 spec --
   this doesn't work in Safari, but the following does */
/*
Q:lang(en) { quotes: '“' '”' "‘" "’" }
Q:lang(no) { quotes: "«" "»" "<" ">" }
Q:before { content: open-quote }
Q:after  { content: close-quote }
*/
Q:before { content: "“"; }
Q:after  { content: "”"; }

