.box { border: solid 1px black; height:1em; font-size:0.9em}

blockquote.plain { border : none;
 background : transparent none; color : #000; margin-left:2em; }

.motto {margin-left:15em; margin-right:0; border: groove #9c9 3px;
padding: 0.1em 0.25em;}

form.button {background:transparent none; border:none;}

p.lh { margin-bottom:0; }

DT { margin-top: 0.4em; }
DD { margin-bottom: 0.4em; }

h1, h2, h3, h4, h5, h6 {
  margin: 0.8em 0 0.2em 0; }
h1+h2, h2+h3, h3+h4, h4+h5, h5+h6 {
  margin-top: 0.2em; }

h1, h2, h3, h4 { color : #000; background : #e0ffdd url(bg3.png); }

UL LI { margin-bottom: 0.3em; margin-top: 0.3em }
OL LI { margin-bottom: 0.3em }

.infobox,
.tocbox { width: 17em; float: right; padding: 0.3em;
   margin: 0 0 0.2em 0.4em; 
   border: dotted 1px black; }
.tocbox ul { margin-left: 1.2em; }
.tocbox h2 { font-size: 110%; margin:0; }

.tocbox li,
UL.toc LI, UL.compact LI { margin-top: 0; margin-bottom:0; }
UL.compact { margin-top : 0.1em }

ul ul, ol ol { margin-top: 0; padding-top: 0;
               margin-bottom: 0.25em;  }

UL, OL { margin-top: 0.15em; margin-bottom:1em}

UL.separate, OL.separate { margin-top: 0.3em; } 

@media print {
h1, h2, h3, h4 { background: #eee none; color: #000; } }

.searchbox { width: 15em;
             float: right;
             font-size: 90%;
             margin-left: 0.5em;
}