--- a/test/header.html	Wed Aug 31 16:21:28 2016 +0200
+++ b/test/header.html	Thu Nov 10 18:27:16 2016 +0100
@@ -3,6 +3,13 @@
   <head>
     <title>c2html</title>
     <style type="text/css">
+      span.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;
+      }
       span.c2html-lineno a {
         font-style: italic;
         text-decoration: none;