body  {
  background-color:#f0f0f0;
  font-family:sans-serif;
  font-size:80%;
  text-align:justify;
  margin-left:20%; 
  margin-right:20%; 
}
p  {
  text-align:justify;
  margin-top:0.5em;
  margin-bottom:0.0em;
}
p.high  {
  background-color:#a0e0ff;
  padding-left:1em;
  padding-right:1em;
  padding-top:.3em;
  padding-bottom:.5em;
}
ul  {
  margin-top:0.5em;
  margin-bottom:0.0em;
}
li  {
  margin-top:0.3em;
  margin-bottom:0.0em;
}
dt  {
  margin-top:0.3em;
  margin-bottom:0.0em;
}
dd  {
  margin-left:2em;
}
span.csc  {font-variant:small-caps}
h2  {
  font-size:1.5em;
  margin-top:2em;
  text-align:left;
}
h3  {
  font-size:1.2em;
  margin-top:2em;
  text-align:left;
}
tt, pre  {
  font-family:monospace; 
  font-weight:bold;
  font-size:1.2em;
}
address  {
  font-size:.8em;
  font-style:oblique;
  text-align:right;
  margin-top:2em;
}
hr  {
  height:1px;
  width:30%;
  text-align:center;
  border-style:solid;
  color:gray;
  margin-top:1.2em;
  margin-bottom:1.0em;
}