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

Please update htmldiff-nav.js

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

Can you please change https://www.w3.org/2016/10/htmldiff-nav.js as follows


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

This archive was generated by hypermail 2.3.1 : Friday, 10 February 2017 10:38:27 UTC