body {
   font-family: Georgia, "Times New Roman", Times, serif;
 }

.pub_heading {
  text-decoration: none;
}
a {
  text-decoration: none;
}

.nobmargin {
 margin: 1em 0 0.2em 0;
}