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;