.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.3em 0; }

h1, h2, h3, h4 { color : #000; }

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;
}

@import url(imported.css);
.summary {  font-size : 105%;
            margin-left : 2em;
            border : solid rgb(134,194,171) 2px;
            -moz-border-radius: 0.4em;
            padding : 0.2em 0.2em 0.2em 0.4em;}

.important { font-size:104%;
            border : solid #960 2px; padding : 0.4ex;
            margin-left : 1em; }

div.warning, P.warning { font-size : 105%; 
            background: white;
            color: #600;
            margin-left : 2em; 
            margin-right: 2em;
            border : solid red 0.04em; padding : 0.4ex}

strong.warning, em.warning { color : #900; background : #fff ; }

.editorial { font-size : 90%; 
            margin-left : 20%;
            border : inset #f3c 1px; padding : 3px}

.note { margin-left: 1em;
        font-style: oblique;
        color: #030;
        background: white; }

.example { font-size:100%; padding-left:0.7ex;
           margin: 0.5em 0 0.8em 1em;
           border-left : solid #060 2px;}

HR { color : #9cc; background-color : #99cccb; height : 4px; }

#FORM { border : solid gray 2px; padding : 3px; }

#form, input.radio { background : #efe url(bg.gif);   color : #000; }
/* bg was #cc9 none */

input:focus, textarea:focus, select:focus, input:hover
  { background : #ffd;
    color : black; }
input[type="submit"]:hover { border-color: #900; 
                             background: #ffd;
                             color: #600; }
input[type="submit"]:active { border-color: red;
                              color: red;
                              background: #ffc; }
input, textarea, option, button { font-size: 100%; } 

@media print {
  input, textarea {overflow:visible;}}

H1 { text-align : center }
/*
H2 { margin-left : 1em }
*/

h1, h2, h3, h4, h5, h6, .h7 {
  font-weight:500;
  font-family : Verdana, Arial, Helvetica, sans-serif; }
.h7 { border: solid 1px #999;
      padding: 0.1em 0.2em; }
p { margin: 0.3em 0 1.1em 0; }
.new { margin-top: 0.9em; }

h1 { font-size: 135%; }
h2 { font-size: 120%; }
h3 { font-size: 110%; }
h4 { font-size: 105%; }
h5 { font-size: 103%; }
h6 { font-size: 100%; }
h2 { margin-top: 1em; }
h3 { margin-top:0.5em; margin-bottom:0.2em; }