body {
font-family: Georgia, "Times New Roman", Times, serif;
}
.pub_heading {
text-decoration: none;
}
a.nounder {
text-decoration: none;
text-weight: bold;
}
.nobmargin {
margin: 1em 0 0.2em 0;
}