body { background-color: #ffffff }
a:link, a:visited { color: #0000aa }
a:active { color: #ff0000 }
h1, h2, h3 { font-family: arial, sans-serif; color: #0000aa }
/* h1 { text-decoration: underline } */
dt { font: bold }
.commentary { font-family: arial, sans-serif; font: smaller; background-color: #eeeeee }
.commentary-topic { font: bold; color: #0000aa }
.bid-note { font: smaller }
.article { font-family: arial, sans-serif; font: bold; text-decoration: none }