/* Based on the work at https://www.w3.org/Style/CSS/ */

body div.banner { display: block; }

div.banner {
  margin: 0;
  font-size: 92%; /*smaller*/
  font-weight: bold;
  line-height: 1.1;
  text-align: left;
  
  position: absolute;
  top: 2em;
  left: 2em;
  width: 15em;
  right: auto;
}

div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
/* background: url(semi2x2b.png) transparent fixed; */
  background: #DDDDDD; /* banner background*/
  border: thin outset #999;
  border-color: #025c7f ;
  color: black; /* text color */
}

div.banner a {
  border-top-color: #025c7f
}

div.banner em {
  font-size: 115%; /*bigger*/
  border-top-color: #025c7f
}

div.banner a:hover {
  background: white;
  color: black;
}

div.banner a, div.banner em { display: block; margin: 0 0.5em; }
div.banner a, div.banner em { border-top: 2px groove #999; }
div.banner a:first-child { border-top: none; }
div.banner em:first-child { border-top: none; }

div.back {
  clear: both;
  page-break-before: always;
  margin: 2em -0.75em 2em 1em;
  padding: 1em;
}

div.back { background: #223377; } /* the shadows color */

div.section {
  background: #FBFBFF;
  margin: -2em 0 0 -2em;
  padding: 1em;
  border: thin dashed #000;
}

h1 { color: #025c7f; line-height: 1; }

h2 {
  color: black;
  text-shadow: 1px 1px black;
  text-align: right;
  font-variant: small-caps;
  font-weight: bold;
  margin-top: 0;
  font-size: 140%;
}

h3 {
  color: black;
  font-size: 120%;
  font-weight: normal;
  text-align: right;
}

body {
  color: #000;
  line-height: 160%;
  background: #EEEEEE; /* the whoe site background */
  background-image: url("/pics/bg.jpg");
  font-family: "Helvetica", "Arial", sans-serif;
  font-size: medium;
  margin-left: 18em;
  margin-right: 2.5em;
}

div.section a:link, div.section a:visited {
  color: inherit;
  font-style: italic;
  text-decoration: underline;
}

div.section a:hover {
  background: #CFF;
}

div.section tt {
  font-size: large;
}

div.section pre {
  font-size: large;
  line-height: 130%;
}

div.edit {
  background: #FBFBFF;
  margin: 0.4em 0 0 2em;
  text-align: right;
}