test/jheader.html

changeset 60
9f25df78925e
parent 27
53fd8595378c
child 66
1b12cf799fee
--- 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;

mercurial