BODY { padding-left: 5%; padding-right: 5%; padding-bottom: 3em;
  background: #eeeeee; color: black;
/*  background-image: url(bgtop.gif); background-repeat: repeat-x; */
}
@media all {
BODY { padding-left: 20%; }
DIV.balk, DIV.smalbalk, DIV.balk A {
  background: #aa0000; color: white; text-decoration: none;
}
DIV.balk A:hover { text-decoration: underline; }
DIV.balk, DIV.smalbalk {
  border-top: solid 0.2em #770000;
  border-bottom: solid 0.3em #660000;
  border-left: solid 1ex #eeeeee;
  border-right: solid 1ex #eeeeee;
}
DIV.balk {
  margin-left: -25%; margin-right: -5%;
  padding: 0.2em 0.8em;
}
DIV.navigation { float: left; width: 8em; border: solid thin black; 
  background-color: #ffffcc; color: black;
  margin: 1ex; padding: 0.5ex;
  position: absolute; left: 2%; top: 3em; width: 15%;
}
DIV.navigation STRONG, DIV.navigation I { display: block; }
DIV.navigation I { margin-left: 0.8em; text-indent: -0.5em; }
DIV.navigation HR { display: none; }

DIV.smalbalk { background: #bb0000; font-size: 0.5em; height: 0.7em; 
  margin: 2em -1ex 1em -1ex;
}
DIV.smalbalk HR { display: none; }
}

H1, H2, H3, P.ingress { 
  font-family: "nimbus sans l", helvetica, sans-serif; font-weight: bold; 
}
H1 { font-size: 220%; text-align: center; }
H2, P.ingress { color: #aa0000; }
H2 { font-size: 180%; }
H3 { font-size: 120%; margin-top: 1ex; margin-bottom: 0; }
H2 { break-after: never; }

P.ingress { font-style: italic; }

P { margin: 1ex 0; }
ADDRESS { text-align: right; }

DL > DT { margin-top: 1ex; font-weight: bold; }

.sidebar, TABLE.major TD, TABLE.major TH, DL.major DT { 
  background-color: #ffffcc; color: black;
}
@media all { DL.major DT { padding: 0.15em 0.75em; } }
DL.major DD { margin-top: 0.2em; margin-bottom: 1ex; padding-top: 0; }
.sidebar {
  border: solid thin gray;
  float: right; clear: right; width: 20%;
  padding: 1ex; margin-top: 1ex;
}

.sidebar H2 { margin: 0; font-size: 140%; }
.sidebar HR { display: none; }
.sidebar OL, .sidebar UL { padding-left: 2ex; }

.trailer { clear: both; }

P.snailmail { border-left: solid medium #880000; padding-left: 1ex; }

TH { vertical-align: top; }

SMALL { font-size: 60%; font-weight: normal; }
P.mini { font-size: 60%; font-weight: normal;  margin: 0.5ex 0; }

TABLE.major TD.vline { width: 0.2em; background-color: #880000; 
  font-size: 1px; color: black;
}

.prompt { color: blue; }

P > A > IMG { border: solid thin; margin: 0.5ex; }