HTML { background: #888888;
}
BODY { border: solid black 1px;
       margin: 8px;
       padding: 0px;
       font-family: Georgia, Helvetica, sans-serif;
       background: #ffffcc; /* NOTE 1 */  /* #ede1e5 from sunset 0003-0324, desaturated */
}
DIV#top { height: 60px;
          background: url(0003-0254x2.jpg) #88a6c8 no-repeat;
          margin: 0px;
          padding: 0px 0px 0px 40%;  /* TRBL */  /* 100%-DIV#content.width */
          border-bottom: solid #888888 1px;
}

/* NOTE 1: The intention is for body colour to show through only in
left (nav) pane; if content is too short then it will also show
through beneath it.  Make sure content is never too short! */

DIV#nav { padding: 16px;
          width: 28%;
          /* NOTE 1 */
}
DIV#content { float: right;
              width: 60%;
              background: white;  /* NOTE 1 */
              padding: 1.5ex 1em 1.5ex 1.5em;
              min-height: 50ex;  /* NOTE 1 */ /* should be a bit more than height of DIV#nav */
}
DIV#bot { clear: both;
          height: 30px;
          background: #c3ced9;  /* from towards left end, desaturated */
          margin: 0px;
          padding: 0px;
          border-top: solid #888888 1px;
          font-size: 71%;
}
DIV.left {
  float: left;
  padding: 8px 16px;
}
DIV.right {
  float: right;
  padding: 8px 16px;
}
DIV.subtitle {
  font-style: italic;
}
DIV.subtitle A {
  text-decoration: none;
  color: black;
}
DIV#nav ul {
  list-style-type: none;
  margin-left: 0px;
  padding-left: 0px;
}
DIV#nav ul li {  /* IE doesn't support child selectors > */
  margin-bottom: 0.5ex;
  padding-left: 1em;  /* indent subsequent lines this much */
  text-indent: -1em;
}
DIV#nav ul li ul li {
  margin-left: 0.5em;  /* extra indent (over subsequent-line indent) for sub-lists */
  font-style: italic;
  font-size: 84%;
}
DIV#nav ul li ul li ul li {
  font-size: 100%;  /* don't keep shrinking! */
}
DIV#nav li.youarehere {
  list-style-type: circle;
}
h1 { margin: 0px;
     margin-left: -16px;  /* line h1 up with content left edge */
     padding-left: 0px;
     padding-top: 8px;
     font-style: normal;
     font-variant: normal;
     font-weight: bold;
     font-size: 40px;
     overflow: hidden;
     white-space: nowrap;
 }
H2 {
     padding: 0px;
     margin: 2ex 0px 0.5ex;
     font-style: italic;
     font-variant: normal;
     font-weight: normal;
     font-size: 118%;
}
H2:first-child {
     margin-top: 0px;
}
p { margin: 0px 0px 1ex;
    padding: 0px;
}
A:link, A:visited {
        text-decoration: none;
        border-bottom: dotted 1px transparent;
}
A:link { color: #0000ff; }
A:visited { color: #0000cc; }
A:link:hover, A:visited:hover {
  border-bottom-color: black;
  background: #ffff88;  /* re-saturated version of background */
}
DIV:target {
        border: solid red 2px;
        padding: 1ex;
}  /* http://web-graphics.com/mtarchive/001454.php */
SPAN.paper-ann {
        color: red;
}
SPAN.paper-desc {
        font-size: 71%;
}
SPAN.paper-size {
        font-size: 71%;
}
DT:after {
        content: ":";
}