<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">&lt;STYLE&gt;
BODY {
  color: #000;
  background: #FFF;
  margin-left: 2%;
}

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;
}

H3 {
  background: #DDD;
  margin-left: 2.0em;
  margin-right: 5.0em;
  font-size: 1.4em;
}

H4 {
  background: #DDD;
  margin-left: 2.0em;
  margin-right: 5.0em;
  font-size: 1.0em;
}

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 {
line-height: 1.33;
margin-left: 5%;
}

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

li {
margin-bottom: 1.0em;
}

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

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

div.hint {
padding: 0 0 0 0;
margin-left:10%;
margin-right:20%;
background-color: #ff8;
}

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

&lt;/STYLE&gt;

</pre></body></html>