Please update htmldiff-nav.js

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!
-- 
Simon Pieters
Opera Software

Received on Friday, 10 February 2017 10:38:26 UTC