body{
  font-family      :times-roman;
  font-size        :16pt;
}

h1{
  color            :#036;
  font-size        :28pt;
  padding          :14pt;

  border-style     :solid;
  border-color     :#c00;
  border-width     :1px;
  text-align       :center;
}

h2{
  color            :#036;
  font-size        :24pt;
  padding          :12pt;

  border-style     :solid;
  border-color     :#c00;
  border-width     :1px;
}


h3{
  color            :#036;
  font-size        :20pt;
  padding          :10pt;

  border-style     :solid;
  border-color     :#c00;
  border-width     :0px 0px 1px 0px;
}

h4{
  color            :#036;
  font-size        :16pt;
  padding          :8pt;

  border-style     :solid;
  border-color     :#c00;
  border-width     :0px 0px 1px 0px;
}

div.header { 
  padding          :2pt;
  font-size        :12pt;
  border-style     :solid;
  border-width     :1px;
}

div.example { 
  padding          :2pt;
  font-size        :14pt;
  border-style     :solid;
  border-width     :1px;
}