W3C home > Mailing lists > Public > spec-prod@w3.org > April to June 2008

diff additions to W3C-ED stylesheet

From: Michael(tm) Smith <mike@w3.org>
Date: Sun, 25 May 2008 23:54:38 +0900
To: spec-prod@w3.org
Message-ID: <20080525145436.GH29224@sideshowbarker>
This is heads-up about some (temporary) additions to the W3C-ED


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


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.


Michael(tm) Smith

Received on Sunday, 25 May 2008 14:55:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:42:18 UTC