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