/* Define heading styles - the border properties are a Netscape 4.x bug workaround. */
h1, h2, h3, h4, h5, h6 { color: #000033;
                         background-color: #9999ff;
                         font-family: "helvetica", "arial", sans-serif;
                         font-weight: bold;
                         border-width: 1px;
                         border-style: solid;
                         border-color: #ffffff;
                         padding-left: 4px; /* so the background color swatch is wider */
                         padding-right: 4px /* than the text, for best appearance      */
                       }
h1 { font-size: 30pt }
h2 { font-size: 25pt }
h3 { font-size: 20pt }  
h4 { font-size: 16pt }
h5 { font-size: 12pt }
h6 { font-size: 8pt }

/* Set the main text properties - td and th are included as a Netscape 4.x bug workaround. */
body, p, td, th, ul, ol, li { color: #000000;
                             font-family: "helvetica", "arial", sans-serif;
                             font-size: 11pt
                           }
body.inverse, p.inverse, td.inverse, th.inverse, ul.inverse, ol.inverse, li.inverse
                           { color: #ffffff;
                             font-family: "helvetica", "arial", sans-serif;
                             font-size: 11pt
                           }
body { background-color: #ffffff;
       padding-left: 20px; /* this creates a margin in the browser window */
       padding-right: 20px
     }
body.inverse { background-color: #000000;
       padding-left: 20px; /* this creates a margin in the browser window */
       padding-right: 20px
     }
td.caption { font-size: 12pt ;  /* different size and style for captions */
             font-family: "times", "times new roman", serif;
             line-height: 100%
           }
p.caption { font-size: 12pt ;  /* different size and style for captions */
            font-family: "times", "times new roman", serif;
            line-height: 100%
          }
a.caption { font-size: 12pt ;  /* different size and style for captions */
            font-family: "times", "times new roman", serif;
            line-height: 100%
          }
p.spcl {    font-size: 11pt ;  /* different style for special use */
            font-family: "verdana", "arial", sans-serif;
            font-style: italic;
            line-height: 100%;
            margin-left: 50px;
            margin-right: 50px
       }
p.spcla {   font-size: 11pt ;  /* different style for special use */
            font-family: "verdana", "arial", sans-serif;
            font-style: italic;
            line-height: 100%;
            margin-left: 500px;
            margin-right: 50px
        }
p.spclb {   font-size: 12pt ;  /* different style for special use */
            font-family: "verdana", "arial", sans-serif;
            line-height: 125%
        }
pre { font-size: 11pt
    }
code { font-size: 11.5pt
     }
li.spacer { margin-bottom: 6pt } /* add a little space between list elements */
li.spacerx { margin-bottom: 6pt; margin-top: 6pt } /* add a little space between list elements */
div.spacer { margin-bottom: 6pt } /* add a little space between list elements */
blockquote.spacer { margin-bottom: 6pt } /* add a little space between list elements */
ul li       { list-style-type: disc } /* use bullets for all levels */
ul ul li    { list-style-type: disc }
ul ul ul li { list-style-type: disc }
a { font-family: "helvetica", "arial", sans-serif }
a:link    { color: blue }
a:active  { color: red }
a:visited { color: #990099 }

/* Set image margins for images in various locations. tblr = top, bottom, left, right. 
Unfortunately, they don't work properly for Netscape 4.x. */
img.imgtl { margin-right: 20px; margin-bottom: 10px }
img.imgtr { margin-left: 20px; margin-bottom: 10px }
img.imgl { margin-right: 20px; margin-top: 10px; margin-bottom: 10px }
img.imgr { margin-left: 20px; margin-top: 10px; margin-bottom: 10px }
img.imgt { margin-bottom: 10px }
img.imgb { margin-top: 10px }
img.imgbl { margin-right: 20px; margin-top: 10px }
img.imgbr { margin-left: 20px; margin-top: 10px }
img.img { margin-left: 20px; margin-right: 20px; margin-top: 20px; margin-bottom: 20px }

/* These are paragraph styles: "in" for "indent", "sm" for "small", "insm" for both, "big" for
slightly bigger and bolder text. */
p.in { margin-left: 4% }
p.sm { font-size: 9pt }
p.insm { margin-left: 4%;
         font-size: 9pt
       }
p.big { font-size: 12pt;
        font-weight: bold;
      }       
      
/* Special style for big title boxes, like on home page. */
p.title { color: #000033;
          background-color: #9999ff;
          font-family: "helvetica", "arial", sans-serif;
          font-size: 36pt;
          font-weight: bold;
          text-align: center
        }

/* Special style for a vertical list, where you want increased leading. Don't use <li>, just put a
<br> after each line in the paragraph. */
p.list { line-height: 150% }

/* Special style to have table headings like <h> but using other text containers. */
th.hdg { color: #000033;
      background-color: #9999ff;
      font-weight: bold;
       }

/* Styles for simple navigation buttons. */
td.active   { background-color: #99cccc } /* Active button color is defined by <a> */
td.inactive { color: #666666;             /* Inactive button color defined here    */
              background-color: #99cccc;
              text-decoration: underline
            }