/* avoid "flicker" when no scrollbar is displayed in FF */
html {
  min-height: 101%;
}

body {
  background-color:#FFFFFF;
  font-family:arial,helvetica,lucida,sans-serif;
  color: black;
}

td {
  font-family:helvetica,arial,sans-serif;
  font-size: 12pt;
}

.small {
  font-size: 8pt;
}

a:link {
  color: #000000;
}

a:visited {
  color: #000000;
}

a:hover {
  color: blue;
}

div.menu {float: right}
div.menu a {display: block}

div.back {background: #576}
div.section {background: #ffd;}

div.back {padding: 1.5em 1.5em 1.5em 15px; min-width: 780px;}
div.section {margin: -3em 0 0 -20px; min-width: 780px}

div.back {margin: 3em 0 3em 70px}

div.section {border: thin solid #999; padding: 1.5em 1.5em 1.5em 20px}

div.figure {
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: center;
}
P.caption {
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}


div.banner {
/*  float: left; */
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;          /* Fallback if 'fixed' is not supported */
  position: fixed; 
  top: 0em;
  left: 0em;
  width: 97px;
  right: auto;
}


H1 {
  text-align: center;
}

div.validator { text-align: right; font-size: 0.8em; color: #888888;}