--- a/test/jheader.html Thu Nov 10 18:27:16 2016 +0100 +++ b/test/jheader.html Thu Nov 10 18:44:48 2016 +0100 @@ -3,7 +3,13 @@ <head> <title>c2html</title> <style type="text/css"> - span.c2html-lineno a { + a.c2html-lineno { + /* as long as user-select isn't widely spread, we throw the bomb */ + -webkit-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; + display: inline-block; font-style: italic; text-decoration: none; color: grey;