test/header.html

changeset 66
1b12cf799fee
parent 60
9f25df78925e
     1.1 --- a/test/header.html	Thu Nov 10 18:44:48 2016 +0100
     1.2 +++ b/test/header.html	Mon Apr 24 20:54:38 2023 +0200
     1.3 @@ -3,6 +3,10 @@
     1.4    <head>
     1.5      <title>c2html</title>
     1.6      <style type="text/css">
     1.7 +      div.c2html-code {
     1.8 +        white-space: pre;
     1.9 +        font-family: monospace;
    1.10 +      }
    1.11        a.c2html-lineno {
    1.12          /* as long as user-select isn't widely spread, we throw the bomb */
    1.13          -webkit-user-select: none;

mercurial