tt.sgmltag-starttag    { color: #4080B0; }
tt.sgmltag-endtag      { color: #4080B0; }
tt.sgmltag-emptytag    { color: #4080B0; }
tt.sgmltag-sgmlcomment { color: #B02020; }
tt.sgmltag-xmlpi       { color: #0000F8; }
tt.sgmltag-genentity   { color: #686868; }
pre.programlisting     { background-color: #F0DCB0; }
span.src-fragref       { color: brown; }
span.src-fragment      { color: brown; }

div.bibliomixed        { margin-left: 30px; }
p.bibliomixed:first-line { margin-left: -30px; }