body {
  color: gray;
  background-color: white;
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 71%;  /* Enables font size scaling in MSIE */
  margin: 0;
  padding: 0;
}

html > body {
  font-size: 8.5pt;
}

acronym, .titleTip {
  border-bottom: 1px dotted gray;
  cursor: help;
  margin: 0;
  padding: 0 0 0.4px 0;
}

acronym:hover, .titleTip:hover {  /* Ignored by MSIE. The nerve! */
  border-bottom: 1px solid rgb(70,130,180);  /* 'steelblue' not recognised here by Opera */
}

.doNotDisplay {
  display: none;
}

.smallCaps {
  font-size: 110%;
  font-variant: small-caps;
}


/* ###### Header ###### */

.headerTitle {
  color: rgb(175,175,175);
  background-color: transparent;
  font-family: garamond, "times new roman", times, roman, serif;
  font-size: 400%;
  margin: 0 0 0 5mm;
  padding: 1ex 0 0 0;
}

.subHeader {
  margin: 0;
  padding: 0.75em 1ex 0.5ex 1ex;
  border-bottom: 10px solid rgb(70,130,180);  /* 'steelblue' not recognised here by Opera */
}

.subHeader .dateline {
  color: rgb(175,175,175);
  background-color: transparent;
  font-style: italic;
  float: right;
  margin: 0 1ex;
  padding: 0;
}

.subHeader .navigation {
  list-style-type: none;
  list-style-position: outside;
  margin: 0;
  padding: 0;
}

.subHeader .navigation li {
  line-height: 1.75em;
  margin: 0;
  padding: 0;
  display: inline;
}

.subHeader a {
  color: rgb(175,175,175);
  background-color: transparent;
  text-decoration: none;
  font-weight: bold;
}

.subHeader a:hover {
  color: steelblue;
  background-color: transparent;
  text-decoration: none;
}

.subHeader .navigation .tab {
  color: rgb(175,175,175);
  background-color: rgb(248,248,248);
  text-decoration: none;
  font-weight: bold;
  margin: 0;
  padding: 0.5ex 1.25em 1ex 1.25em;
  border-top: 1px solid rgb(231,231,231);
  border-right: 1px solid rgb(97,97,97);
  border-left: 1px solid rgb(231,231,231);
}

.subHeader .navigation a.tab:hover {
  color: steelblue;
  background-color: rgb(248,248,248);
  text-decoration: none;
  padding-bottom: 0.8ex;
  border-top: 1px solid rgb(97,97,97);
  border-right: 1px solid rgb(231,231,231);
  border-left: 1px solid rgb(97,97,97);
  position: relative;
  left: 1px;
  top: 1px;
}

.subHeader .navigation .highlighted {
  color: white;
  background-color: steelblue;
  border-top-color: steelblue;
  border-right-color: steelblue;
  border-left-color: steelblue;
}

/* ###### Body ###### */
.title2 {
    FONT-SIZE: 13pt;
    COLOR: #333333;
    FONT-FAMILY: Verdana, Arial;
}
.title3 {
    FONT-SIZE: 16pt;
    COLOR: #333333;
    FONT-FAMILY: Verdana, Arial;
}
.content3 {
    FONT-SIZE: 12pt;
    COLOR: #333333;
    FONT-FAMILY: Verdana, Arial;
}

.content3 A:link
{
    FONT-SIZE: 12pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: none
}
.content3 A:visited
{
    FONT-SIZE: 12pt;
    COLOR: #8888ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: none
}
.content3 A:hover
{
    FONT-SIZE: 12pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: underline
}
.content3 A:active
{
    FONT-SIZE: 12pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: underline
}

.link1 A:link
{
    FONT-SIZE: 10pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: none
}
.link1 A:visited
{
    FONT-SIZE: 10pt;
    COLOR: #8888ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: none
}
.link1 A:hover
{
    FONT-SIZE: 10pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: underline
}
.link1 A:active
{
    FONT-SIZE: 10pt;
    COLOR: #0000ff;
    FONT-FAMILY: Verdana, Arial;
    TEXT-DECORATION: underline
}

/* ###### Footer ###### */

#footer {
  color: rgb(15,15,15);
  background-color: rgb(250,250,250);
  margin: 0;
  padding: 0.25em 5mm 1.25ex 4mm;
  clear: both;
}

body > #footer {  /* Circumvents a rendering bug (?) in MSIE 6.0 */
  padding-top: 0.5em;
}

#footer .left {
  line-height: 1.45em;
  float: left;
  clear: left;
}

#footer .right {
  text-align: right;
  line-height: 1.45em;
}

#footer a {
  color: rgb(100,100,100);
  background-color: transparent;
  text-decoration: underline;
}

#footer a:hover {
  color: steelblue;
  background-color: transparent;
  text-decoration: none;
}