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

Re: Please update htmldiff-nav.js

From: Simon Pieters <simonp@opera.com>
Date: Fri, 10 Feb 2017 11:46:39 +0100
To: "Dominique Hazael-Massieux" <dom@w3.org>
Cc: tobie@codespeaks.com, "www-archive@w3.org" <www-archive@w3.org>
Message-ID: <op.yvfxj1byidj3kv@simons-mbp>
On Fri, 10 Feb 2017 11:37:49 +0100, Simon Pieters <simonp@opera.com> wrote:

> Hello Dom,
>
> Can you please change https://www.w3.org/2016/10/htmldiff-nav.js as  
> follows
>
> https://gist.github.com/zcorpan/f4043096e7051ad2a08dc634c265bf4f
>
> the change is
>
> -    var CSS_BORDER = "border: 2px dashed #00F";
> +    var CSS_BORDER = "outline: 2px dashed #00F";
>
> The reason for this is that border causes text to reflow while jumping  
> between insertions/deletions, but outline does not.
>
> Thank you!

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!
-- 
Simon Pieters
Opera Software
Received on Friday, 10 February 2017 10:47:16 UTC

This archive was generated by hypermail 2.3.1 : Friday, 10 February 2017 10:47:16 UTC