test/jheader.html

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

mercurial