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
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/

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 10 March 2012 06:19:14 GMT