h1 
  {
  border: 1px solid black;
  padding: 0.2em;
  background: #fff0f0;
  margin-bottom: 0;
  margin-top: 0;
  padding-left: 0.5em;
  }
h2 
  {
  border: 1px solid gray;
  border-bottom: none;
  padding: 0.2em;
  padding-left: 0.5em;
  background: #e0e0f0;
  margin-top: 0.8em;
  margin-bottom: 0;
  }
div.h3 
  {
  border-bottom: 1px solid gray;
  padding: 0.2em;
  padding-left: 0.1em;
  margin-top: 0em;
  margin-bottom: 0;
  font-weight: bold;
  font-size: 1.2em;
  }
h2.green 
  {
  background: #e0f0e0;
  }
h2.coral 
  {
  background: #e0f0f0;
  }
h2.purple 
  {
  background: #f0e0f0;
  }
h2.orange
  {
  background: #fff0d0;
  }
h2.brown
  {
  background: #e0b090;
  }
h2.lime
  {
  background: #e0f090;
  }
h2.honey
  {
  background: #f0f0a0;
  }
h2.mint
  {
  background: #c0ffe0;
  }
div.footer
  {
  background: #f0f0f0;
  border: 1px solid gray;
  padding: 0.6em;
  padding-left: 1.6em;
  font-size: small;
  margin-top: 1em;
  margin-bottom: 1em;
  font-size: 0.8em;
  }
p.hr 
  {
  padding-top: 0.3em;
  border: none;
  border-top: 1px solid gray;
  }
div.right
  {
  margin-left: 7.6em;
  }
div.text 
  {
  border: 1px solid gray;
  padding: 0.5em;
  padding-left: 1.5em;
  background: #e8e8e8;
  font-size: 0.9em;
  }
div.clear
  {
  clear: both;
  }
div.menu
  {
  padding: 0.6em;
  margin-right: 0.6em;
  width: 6em;
  position: fixed;
  }
span.floater
  {
  float: left;
  padding: 1em;
  }
a.top
  {
  font-size: 0.8em;
  float: right;
  position: relative;
  top: -2.5em;
  right: 0.5em;
  color: black;
  font-weight: bold;
  text-decoration: none;
  padding: 0.2em;
  }
a.top:hover
  {
  color: white;
  background: black;
  padding: 0.2em;
  }
a.menu
  {
  background: #e08080;
  color: #f0f0f0;
  border: none;
  padding: 0.2em;
  text-decoration: none;
  margin-bottom: 0.3em;
  }
a.menuext
  {
  background: #e09070;
  color: #ffffff;
  border: none;
  padding: 0.2em;
  text-decoration: none;
  margin-bottom: 0.4em;
  }
p.menu, p.menuext
  {
  background: #e08080;
  border: 1px solid gray;
  padding: 0.2em;
  padding-right: 0em;
  margin: 0em;
  margin-bottom: 0.4em;
  min-width: 6em;
  font-size: 0.8em;
  }
p.menuext
  {
  background: #e09070;
  }
a.menu:hover, a.menuext:hover
  {
  color: black;
  border: none;
  padding: 0.2em;
  text-decoration: none;
  margin-bottom: 0.5em;
  }
img
  {
  border: 1px solid gray;
  }
ul
  {
  list-style: square;
  }
li
  {
  font-size: 0.9em;
  }
code
  {
  background: #d8d8d8;
  color: black;
  padding: 2px;
  }
pre
  {
  background: #d0d0d0;
  color: black;
  padding: 0.8em;
  margin-left: 1em;
  margin-bottom: 2.5em;
  border: 1px solid black;
  max-width: 40em;
  }