span.runin { font-size: 1.1em; font-weight: bold; color: #3860B0; }
span.new { background-color: #FFCCFF; }
div.new  { background-color: #FFCCFF; }
span.old { background-color: #FFFF88; text-decoration: line-through; }
div.old  { background-color: #FFFF88; text-decoration: line-through; }
span.comment { background-color: #88FF88; font-style: italic; }