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