.rm { font-family: roman }
.sc { font-style: small-caps }
.bad { color: red }
/* .verb ... */

div.table, div.figure { border: solid 1px; margin: 10px; padding: 5px; }

div.abstract { background-color: #ddd; }
pre.verbatim { background-color: #ddd; }

.bibliography dl { margin-left: 1em; }

table.tabular { border-collapse: collapse; border: solid 1px; }
table.tabular td { border: solid 1px; padding: 2px; }

cite { color: #00f; }

a.target { font-size: small; color: #666; }