diff additions to W3C-ED stylesheet

This is heads-up about some (temporary) additions to the W3C-ED
stylesheet:

  http://www.w3.org/StyleSheets/TR/W3C-ED

I added some CSS rules for class values that get output by the
W3C online htmldiff tool:

  http://www.w3.org/2007/10/htmldiff

The additions enable color highlights in output from that tool and
should not have any ill effects on display of "normal" W3C
Editor's Drafts. They will only affect generated HTML diff output
from Editor's Drafts.

  --Mike

-- 
Michael(tm) Smith
http://people.w3.org/mike/
http://sideshowbarker.net/