<STYLE>
BODY {
  color: black;
  background: white;
  margin-left: 5%;
  margin-right: 5%;
  line-height: 1.33em;
  letter-spacing: -1.0px;
}

H1 { 
  text-align: center;
  font-size: 2.5em;
  border-style: solid;
  border-color: #777;
  border-width: 4px 0 4px 0;
  line-height: 1.2em;
}

H2 {
  background: #777;
  color : white;
  text-align: center;
  font-size: 1.6em;
  line-height: 1.2em;
}

H3 {
  background: #DDD;
  border-style: solid;
  border-color: #777;
  border-width: 0 10px 0 10px;
  padding-left: 2.0em;
  font-size: 1.4em;
  line-height: 1.2em;
}

H4 {
  background: #DDD;
  border-style: solid;
  border-color: #777;
  border-width: 0 10px 0 10px;
  padding-left: 2.0em;
  font-size: 1.0em;
  line-height: 1.2em;
}

ADDRESS { 
  text-align: right;
  font-style: italic; 
}

HR.start {margin-right:25%;
            width:75%;
           }

HR.end   {margin-left:25%;
            width:75%;
           }

div.prof{
   width: 12em;
   margin-right: 0em;
   margin-left: auto;
   margin-top: 2px;
   text-align: center;
   background-color:lightcyan;
   border-style:ridge;
   border-color:green;
   border-width:4px
}

P { text-indent: 1.0em }

ul, ol, dl {
margin-left: 5%;
margin-bottom: 0.2em;
margin-top: 0.2em;
}

li {
margin-bottom: 0em;
}

li.multi {
margin-bottom: 1.0em;
}

li.narrow{
margin-bottom: 0em;
}

span.check {
  background: red;
  color : white;
}

div.hint {
padding: 0 0 0 1em;
margin-left:5%;
border-style: solid;
border-width: 0 0 0 10px;
background-color: #ffa;
border-color: #ff0;
}

blockquote
{
  color:blue;
  background-color:#eeeeff;
  margin-left:5%;
  padding: 0 0 0 1em;
  border-style: solid;
  border-width: 1 1 1 10px;
  border-color: blue;
}

</STYLE>

