body { font-family: sans-serif }
img { border: 0 }
img.footerbutton { width: 88px; height: 31px }
div#footer { text-align: right }
div#links { text-align: center }
hr { height: 4px; background-color: #336699 }
a       { color: #0000CC; text-decoration: none }
a:hover { text-decoration: underline }
ul li ul { font-size: small }
pre {  margin: 0em 0em; background-color: #cccccc;
       padding: 1em 1em;
       font-family: Courier, "Courier New", monospace;
       border: 1px solid black;
}

.pub {padding: 10px}

.pubTitle {font-size: 120%}
.pubAuthor {padding-left: 20px}
.pubWhere  {padding-left: 20px}
.me {text-decoration: underline}