1.1 --- a/test/jheader.html Thu Nov 10 18:27:16 2016 +0100 1.2 +++ b/test/jheader.html Thu Nov 10 18:44:48 2016 +0100 1.3 @@ -3,7 +3,13 @@ 1.4 <head> 1.5 <title>c2html</title> 1.6 <style type="text/css"> 1.7 - span.c2html-lineno a { 1.8 + a.c2html-lineno { 1.9 + /* as long as user-select isn't widely spread, we throw the bomb */ 1.10 + -webkit-user-select: none; 1.11 + -moz-user-select: none; 1.12 + -ms-user-select: none; 1.13 + user-select: none; 1.14 + display: inline-block; 1.15 font-style: italic; 1.16 text-decoration: none; 1.17 color: grey;