body {
  font-family: Georgia, "Times New Roman", times, serif;
  margin-left: 2em;
  margin-right: 2em;
  color: black;
  background-color: white;
}

h1 {
  clear: both;
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 225%;
  color: #CC0000;
  background-color: transparent;
}
h2 {
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 175%;
  color: #CC0000;
  background-color: transparent;
}
h3 {
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 135%;
  font-style: italic;
  color: #CC0000;
  background-color: transparent;
}
h4 {
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 120%;
  color: #CC0000;
  background-color: transparent;
}
h5 {
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 110%;
  color: #CC0000;
  background-color: transparent;
}
h6 {
  font-family: Verdana, Arial, sans-serif;
  font-weight: 700;
  font-size: 100%;
  color: #CC0000;
  background-color: transparent;
}

hr.red {
  color: #FF3333;
  clear: both;
  background-color: transparent;
}

hr.black {
  color: black;
  clear: both;
  background-color: transparent;
}

div.pagetop {
  width: 100%;
  height: auto;
}
div.pagetop img {
  float: left;
  clear: none;
}

/*
   note: the padding below is a kludge for mozilla; the
   image that will be displayed to the left of the credo
   is 337px wide.  This is the only way to get the graf
   to display to the immediate right of the img (though
   IE handles it fine without the padding) */
div.pagetop p.credo {
  padding: 0px 10px 5px 347px;
  width: auto;
  clear: none;
  font-size: 85%;
  font-style: italic;
  border: none;
  margin-left: 2em;
  margin-right: 2em;
  margin-top: 1ex;
  margin-bottom: 2.5ex;
}


/*  new navigation-bar code: navbar is now a *list* of links */
div.navigation-bar {
  width: 100%;
  clear: both;
}
div.navigation-bar ul {
  /* IE needs the next two set for this element, otherwise
     the navigation-bar appears indented; I have no idea why  */
  margin-left: 0;
  padding-left: 0;

  background-color: #FF3333;
  font-family: verdana, "minion web", helvetica, sans-serif;
  font-size: 85%;
  font-weight: normal;
  text-align: right;
  padding: 4px;          /* this affects the height of the bar */
}
div.navigation-bar ul li {
  display: inline;
  list-style-type: none;
}
div.navigation-bar ul li a {
  text-decoration: none;
  padding: 0 6px 0 8px;
  border-left: 1px solid white;
}
div.navigation-bar ul li a.firstLink {
  /* it would be better to write a contextual selector
     for the first li in a div.navigation-bar ul, but
     (a) I don't think you can do it in CSS2, and (b)
     I don't think any browsers currently support contextual
     selectors
  */
  border-left: none;
}
div.navigation-bar ul li a:link,
div.navigation-bar ul li a:visited {
  color: black;
  background-color: transparent;
}
div.navigation-bar ul li a:hover,
div.navigation-bar ul li a:active {
  color: white;
  background-color: transparent;
}

/*
    The following introduces a style for a special "thisdoc" <a>
    element.  It should always the same as the style for a:link,
    above.  The idea is that you don't want to take a link to the page
    you're already at.  This gives a visual cue only; use a title
    attribute in the anchor tag to supply the same info (e.g.,
    title="You are here now").  An alternative would be to simply not
    make the text a hyperlink, but then what would that text be doing
    in a list of hyperlinks?  So it may be better to leave it a "live"
    link, but just cue the user that it takes you right where you are.

    Note: The four pseudo-classes are defined explicitly in order to
    get this to work in IE, 
*/

div.navigation-bar ul li a.thisDoc:link,
div.navigation-bar ul li a.thisDoc:visited,
div.navigation-bar ul li a.thisDoc:hover,
div.navigation-bar ul li a.thisDoc:active {
  color: black;
  background-color: transparent;
}

/*  end new navigation-bar code  */

p.navbar {
  background-color: #FF3333;
  border: thin none;
  color: white;
  font-family: verdana, "minion web", helvetica, sans-serif;
  font-size: 85%;
  font-weight: 500;
  margin-left: 0%;
  margin-right: 0%;
  padding: 4px;
  text-align: right;
  clear: both;
}

P.navbar A:link {
  color: #000000;
  text-decoration: none;
  background-color: transparent;
}
P.navbar A:visited {
  color: #000000;
  text-decoration: none;
  background-color: transparent;
}
P.navbar A:active {
  color: #000000;
  text-decoration: none;
  background-color: transparent;
}
P.navbar A:hover {
  color: white;
  text-decoration: none;
  background-color: transparent;
}

dl.news dt {
  font-style: italic;
  margin-top: .5ex;
  margin-bottom: 0;
}
dl.news dd {
  margin-top: 0;
  margin-right: 1em;
  margin-bottom: 1.5ex;
  margin-left: 3em;
}

em.super {
  color: #CC0000;
  background-color: transparent;
  font-style: normal;
  font-weight: 700;
}

p.error {
  margin-left: 5em;
}

address.contactbox {
  border-width: .25ex;
  border-color: #FF3333;
  border-style: solid;
  padding: 1ex;
  font-style: italic;
  font-size: 82%;
  text-align: center;
  clear: both;
}

div.w3ctags {
  text-align: center;
  margin: 1em;
}

em cite { font-weight: 700 }