body {
  background: #f7ffe0; color: black;
  margin-top: 0px; margin-bottom: 0px; margin-left: 0px; margin-right: 0px;
  background-image:  url(../image/left_bg.gif);
  background-repeat: repeat-y;
  background-attachment: scroll;
  background-position: 0px 0px;
}

/* ---------------------------------------------------------------------- */
div#top_link a:link { text-decoration: none }
div#top_link a:visited { text-decoration: none }
div#top_link a:hover { text-decoration: underline; color: #bb2200;
                       background-color: #ffffff }
div#top_link a:active { text-decoration: underline; background-color: #ffffff }
.separator { color: #cccccc;  margin-left: 3px;  margin-right: 3px }

div#header { 
  background-image: url(../image/ttl_bg.gif);
  background-repeat: repeat-x; width:100%;
}
div#top_link { font-size: 12px; line-height: 190%; color: #333333;
  padding-left: 35px; padding-right: 15px; margin-top: 1px;
  padding-top: 0px; padding-bottom: 0px;
  background-image: url(../image/link_bg.gif);
}

#cright { width: 100%; clear:left; font-size: 0.8em; text-align: center;
          color: #666666;  margin-top: 10px;  padding-bottom: 25px }

div.ptop {  width: auto; text-align: right; margin-top: 35px;
            margin-bottom: 2px;  margin-right: 5px }
a.ptop { color: #FFFFFF; background-color: #999999; font-size: 90% }

/* ---------------------------------------------------------------------- */

a:hover { color: #BB2200; background-color: #ffffaa }

p { font-size: 90%; line-height: 140%;
    padding-left: 2.5em; padding-right: 1.5em }

dl { font-size: 90%; line-height: 140%;
    padding-left: 3.5em; padding-right: 1.5em }

ul { font-size: 90%; line-height: 140%;
    padding-left: 3.5em; padding-right: 1.5em }

hr { height: 1px; color: #cccccc }

h1 { font-size: 150%; font-weight: normal; color: #666666;
     padding-bottom: 0px; margin-bottom: 0px }

h2 { font: bold 95%/140% sans-serif;
     color: white; padding-top: 1px; padding-left: 0.5em;
     background-color: #666666 }

h3 { font: bold 90%/140% sans-serif;
     width: 66%; background-color: #ddd;
     padding-top: 1px; padding-left: 2em }

ol { font-size: 90%; line-height: 140%;
     background-color: #ffe;
     border-style: groove;
     padding-left: 2.5em;
     padding-right: 1em; padding-top: 1em; padding-bottom: 1em;
     margin-left: 5em; margin-right: 3em }

pre.term { color: white; background-color: black; 
           border-style: inset; border-width: thin;
           margin-left: 3em; margin-right: 5em }
span.psA { color: teal }
span.psB { color: green }