#all
{
  /*
 *  *    * To use a 12px font size on the page, delete the 14px declarations.
 *   *       * to use a 14px font size on the page, delete the 12px declarations.
 *    *          */

  /* Use a 12px base font size with a 16px line height */
  /* font-size: 0.75em; /* 16px x .75 = 12px */
  /* line-height: 1.333em; /* 12px x 1.333 = 16px */

  /* Use a 14px base font size with a 18px line height */
   font-size: 0.875em; /* 16px x .875 = 14px */
   line-height: 1.286em; /* 14px x 1.286 = 18px */

  /*   font-size: 0.8125em; /* 16px x .875 = 14px */
  /* line-height: 1.3095em; /* 14px x 1.286 = 18px */

 font-family:  "Lucida Grande", "Lucida Sans", 
      "Lucida Sans Unicode", "Lucida", "Bitstream Vera Sans", 
       Geneva, Arial, Helvetica, sans-serif;
 margin-right: auto;
 margin-left: auto;
 max-width:900px;
}



body {color: black; background: white}

/* defined style classes:

   logotext, smlogotext, leftnav, rightnav, sans, serif, mono, quote, large,
   small, alert, warning, notice, note, fineprint, caption 

   defined div ids for positioning: 

   top bottom main wrap left right left-footer right-footer main-footer

*/

/*
  Text Colors 
 */

.notice, .logotext, .smlogotext {color:blue}
h1, h2, h3, h4  {color: #333399}
h5, h6 {color: black}
.alert, .warning {color: red}
.note {color: #333366} 
.caption {color: #336666} 

#left {color: #ffffff}
a.leftnav:link {color: #00ff00; text-decoration: none}
a.leftnav:active {color: #FF00FF}
a.leftnav:visited {color: #00ff00; text-decoration: none}

#right {color: #ffffff}
a.rightnav:link {color: #00ff00; text-decoration: none}
a.rightnav:active {color: #FF00FF}
a.rightnav:visited {color: #00ff00; text-decoration: none}


/*#right {color: #000000}
a.rightnav:link {color: #0000FF; text-decoration: none}
a.rightnav:active {color: #FF00FF}
a.rightnav:visited {color: #0000FF; text-decoration: none}*/

.quote  {color: #333399}

/*
  Fonts 
 */

/* -- family */
body, .sans, .fineprint, .caption, h1, h2, h3, h4, h5, h6, .logotext, .smlogotext, #left, #right 
{
  /* Lucida is a "bigger" font by aspect value than the default Times. 
     We shrink it down to compensate. It would be better to use 
     font-size-adjust to do this but that's not yet supported in 
     browsers (nice idea though) */
/*  font-size: 100%;
  font-family:  "Lucida Grande", "Lucida Sans", 
      "Lucida Sans Unicode", "Lucida", "Bitstream Vera Sans", 
       Geneva, Arial, Helvetica, sans-serif; */
  /*font-size-adjust: .48;  sadly nobody supports this yet! */

}






.serif {
  font-family: "Lucida Bright", Lucidabright, Georgia, 
  "Bitstream Vera Serif", serif}

.mono, xmp {
  font-family: "Lucidia typewriter", "Lucida Console", "Andale Mono",
               "monotype.com", "Bitstream Vera Sans Mono", monospace; 
}

/* -- style */

.logotext, .quote {font-style: italic}

/* -- weight */

.alert, .logotext, .smlogotext, h1, h2, h3, h4, dt {font-weight:bold}

/* -- size */
 
H1 {font-size: x-large; line-height: 1.2em }
H2, .large {font-size: large;  line-height: 1.286em}
H3, .logotext {font-size: 107%; line-height: 1.286em }
H5, .smlogotext, .caption {font-size: small;  line-height: 1.286em}
.fineprint, H6, {font-size: x-small;  line-height: 1.286em}
.small, #left, #right, .warning, .notice, .note {font-size: small; line-height: 1.286em }
            
/* -- borders */
#head {border: 3px blue groove;}


/*
  General Layout 
 */
 
/* for center-justifying text in p and span */
p.centered, span.centered, h1.centered, h2.centered,
h3.centered, h4.centered, h5.centered, h6.centered, .caption {text-align: center}
  
/* for centering a block, or the whole body.
   Note: text-align: center, and the selectors that restore
   text-align: left, are for working around an IE 5 bug... */
 
body.centered, div.centered, .caption  {margin-left: auto; margin-right: auto;
                             text-align: center}
 
body.centered p {text-align: left}
body.centered table {text-align: left}
body.centered p.centered {text-align: center}
 
div.centered p {text-align: left}
div.centered table {text-align: left}
div.centered p.centered {text-align: center}
 

 
/* for tables and suchlike */
.groovy { border: thin blue groove;  border-collapse: collapse;}
table.groovy tr td { border: thin blue groove;}
 
/* for things that bump against the margins */
.floatleft {float: left; width: auto}
.floatright {float: right; width: auto}
.bumpleft {text-align: left; float: left; width: auto}
.bumpright {text-align: right; float: right; width: auto}
 
/* for centering vertically */
.vertical-center {vertical-align: middle}



/*
  Page Parts 
 */

/* -- backgrounds */

#left {background: #333366}
#right {background: #333366}
/* #right {background: #99ccff} */

/*
#main {background: #white}
#left-footer {background: #99ccff}
#top {background: #white}
#bottom {background: #white}
#right-footer {background: #99ccff}
#head {background: #white}
#main-footer {background: #white}
#wrap {background: #white;}
*/

/* following only floated for color purposes */
/*#left-footer {float: left; }
  #right-footer {float: right;}
  #main-footer {float: left}
*/

/* -- widths and x-position */
#main {width: 100%; float: right; }
#left {width: 18ex; padding-left: 1ex; padding-right: 1ex; 
       padding-top: 1ex; padding-bottom: 1ex; float: left;}
#right {width: /*17ex;*/12em; padding-left: 1ex; padding-right: 1ex; 
        padding-top: 1ex; padding-bottom: 1ex; float:right;}
#main-footer {width: 100%;}
#head {width: 75%; margin-left: auto; margin-right: auto;}
#top {padding-left: 1ex; padding-right: 1ex;}
#bottom {padding-left: 1ex; padding-right: 1ex;}

body #main {/*margin-left: 18ex; */
            margin-right: 12em;  width: auto;
            padding-left: 2ex; padding-right: 2ex; float: none;}
body #left-footer {width: 98%; padding-left: 1%; padding-right: 1%;}
body #right-footer {width: 98%; padding-left: 1%;  padding-right: 1%;}
body #main-footer {float: none; width: 98%;
                   padding-left: 1%;  padding-right: 1%;  }
/* Netscape 4 unhide */


/* -- heights and y-positions*/
#main {min-height: 45ex;}
#wrap {padding: 2ex;}

/* -- other decls */


#left, #right, #main { margin:0px;}

#wrap {
  height: auto; 
  width:100%;
  position: relative;
  /* Netscape 4 hide */ /*/*/
  margin: 0px;

  padding-left: 0ex; padding-right: 0ex; padding-bottom: 0px;
  /* Netscape 4 unhide, ie 5 mac hide */ /*\*/
  clear: both;
  /* ie 5 mac unhide */
}

#top { clear: both; margin-top:10px; margin-bottom: 0px;}

#bottom { /* clear handled by <br> in body - NS 4 work-around */
 margin-top: 1em;
  margin-bottom: 0px;
  margin-left: 0px;
  margin-right: 0px;
}

main-footer {margin: 0px;}

body {padding: 0px; margin: -10px 0px 0px -10px;} 
/* Netscape 4 hide */ /*/*/
html body {margin:0px;} 
/* Netscape 4 unhide */

.redsticker {border: thin grey outset; color: red; font-weight: bold;
             margin: 2em; padding: 0.5em}