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

Re: editors draft stylesheet: diff marking

From: Michael(tm) Smith <mike@w3.org>
Date: Sun, 6 Jun 2010 09:01:56 +0900
To: David Carlisle <davidc@nag.co.uk>
Cc: Spec Prod <spec-prod@w3.org>
Message-ID: <20100606000155.GA88686@sideshowbarker>
David Carlisle <davidc@nag.co.uk>, 2010-06-06 00:44 +0100:

> On 03/06/2010 10:04, Michael(tm) Smith wrote:
> >David Carlisle<davidc@nag.co.uk>, 2010-06-03 09:52 +0100:
> >
> >>  http://www.w3.org/StyleSheets/TR/W3C-ED.css
> >>
> >>has had additional rules for diff marking added.
> >>unfortunately these conflict badly with (at least) html table
> >[...]
> >>Could this section be removed so that the editors draft is, by
> >>default, like the main draft, apart from the banner image at the
> >>top?
> >
> >I removed the additional rules. Let me know if I missed anything
> 
> Ah, sorry, I now see this is in other variants of the stylesheet as
> well, not just the editors draft,
> 
> http://www.w3.org/Math/Group/draft-spec/appendixc-d.html#oper-dict.entries-table
> 
> (now) uses W3C-WD.css and the same rules are there too.
> 
> Could all the variants be reverted not to have rules that break
> tables with css added content, thanks.

All should be removed now. Let me know if I missed anything else

  --Mike

-- 
Michael(tm) Smith
http://people.w3.org/mike
Received on Sunday, 6 June 2010 00:02:00 GMT

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