body   { background-color: #f5deb3;
         font-weight: bold;
         font-size: 20pt;
       }
.start { color: #257a25; }
.end   { color: #257a25; }
.attr  { color: #257a25; }
.attrvalue { color: #3a3a7b; }
.markup { color: #9292c9; }