body { background-color: #FFF }
h1 { text-align: center;
  font-family: Arial, Helvetica, sans-serif;
  color: rgb(255,153,0);
  font-size: 160%}
h2 { font-family: Arial, Helvetica, sans-serif;
  color: rgb(255,153,0);
  font-size: 135%}
h3 { font-family: Arial, Helvetica, sans-serif;
  font-size: 120%}
div.justify { text-align: justify }
td {vertical-align: top; font-family: Arial, Helvetica, sans-serif}
td.html, td.dir, td.dirl, td.html0, td.dir0, td.dirl0 {padding-left: 0px;
  font-size: 80%}
td.html1, td.dir1, td.dirl1 {padding-left: 10px;
  font-size: 80%}
td.html2, td.dir2, td.dirl2 {padding-left: 20px;
  font-size: 80%}
td.html3, td.dir3, td.dirl3 {padding-left: 30px;
  font-size: 80%}
.small {font-size: 70%}
dt {font-style: oblique}