div.divArticle h3
  {
  margin: 0px;
  margin-top: 1em;
  color: gray;
  /*color: lightgray;*/
  }
  
div.divArticle h4
  {
  font-size: 10pt;
  font-family: "Trebuchet MS", Helvetica, sans-serif;
  }

div.divArticle #notes
  {
  color: inherit;
  }
  
code
  {
  font-size: 1em;
  }