W3C home > Mailing lists > Public > www-archive@w3.org > February 2017

Re: Please update htmldiff-nav.js

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Fri, 10 Feb 2017 11:50:00 +0100
To: Simon Pieters <simonp@opera.com>
Cc: tobie@codespeaks.com, "www-archive@w3.org" <www-archive@w3.org>
Message-ID: <e1060665-17fb-cc4a-aace-49503df5f228@w3.org>
On 10/02/2017 11:46, Simon Pieters wrote:
>> -    var CSS_BORDER = "border: 2px dashed #00F";
>> +    var CSS_BORDER = "outline: 2px dashed #00F";
>>
>
> Also, if you can change
> https://dev.w3.org/cvsweb/2009/htmldiff/htmldiff.pl to remove this line:
> 
> :focus { border: thin red solid}
> 
> that would be much appreciated!

Both done. Cheers!

Dom
Received on Friday, 10 February 2017 10:50:09 UTC

This archive was generated by hypermail 2.3.1 : Friday, 10 February 2017 10:50:09 UTC