body {
  font-face:Georgia, Times New Roman;
  font-size:90%;
}

div#highlights,
div#sections {
  display:none;
}

h1
{
  border-bottom:1px solid #999;
}