body          { color: black; background-color: #bcdcff; }
div.large     { font-size: large }
div.small     { font-size: x-small }
div.headline  { background-color: #aabbee; font-weight: bold; font-size: larger }
div.error     { background-color: red; font-weight: bold; font-size: larger }
div.warning   { background-color: yellow; font-weight: bold; font-size: larger }
.head         { font-weight: bold }
tr.even       { background-color: #b0caf3 }
tr.odd        {  }