body { background-color: #f7f7f7; color: #000000; }
dd { margin-bottom: 1em; }
dt { background-color: #bfbfbf; color: #000000; padding-left: 1em; }
h2 { background-color: #000000; color: #ffffff; padding: 2px; }
p { font-size: 85%; }
p.index { font-size: 100%; }
table { font-size: 80%; }
table.index { font-size: 100%; }
tr { background-color: #f7f7f7; color: #000000; }
tr.mark { background-color: #bfbfbf; color: #000000;}
tr.model { background-color: #3f3f3f; color: #ffffff; }