HTML { background: #888888;
}
BODY { border: solid black 1px;
       margin: 8px;
       padding: 0px;
       font-family: serif;
       background: #ffffff;
}
DIV#top { height: 60px;
          background: #5555dd;
          margin: 0px;
          padding: 0px 0px 0px 24px;  /* TRBL */
          border-bottom: solid #888888 1px;
}


DIV#nav { position: absolute;
          top: 70px;
          right: 16px;
          padding: 16px;
          width: 28%;
}
DIV#content { padding: 1.5ex 1em 1.5ex 1.5em;
              width: 60%;
              min-height: 50ex;  /* should be a bit more than height of DIV#nav */
}
DIV#bot { clear: both;
          height: 30px;
          background: #ffffff;
          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;
 }
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 */
DT:after {
        content: ":";
}

.dir {
	font-weight: bold;
	background: #ffffdd;
}