Mon, 24 Apr 2023 21:01:41 +0200
merge upstream changes
1 <!DOCTYPE html>
2 <html>
3 <head>
4 <title>c2html</title>
5 <style type="text/css">
6 div.c2html-code {
7 white-space: pre;
8 font-family: monospace;
9 }
10 a.c2html-lineno {
11 /* as long as user-select isn't widely spread, we throw the bomb */
12 -webkit-user-select: none;
13 -moz-user-select: none;
14 -ms-user-select: none;
15 user-select: none;
16 display: inline-block;
17 font-style: italic;
18 text-decoration: none;
19 color: grey;
20 }
21 span.c2html-keyword {
22 color: blue;
23 }
24 span.c2html-macroconst {
25 color: cornflowerblue;
26 }
27 span.c2html-type {
28 color: cornflowerblue;
29 }
30 span.c2html-directive {
31 color: green;
32 }
33 span.c2html-string {
34 color: darkorange;
35 }
36 span.c2html-comment {
37 color: grey;
38 }
39 span.c2html-stdinclude {
40 color: darkorange;
41 }
42 span.c2html-userinclude {
43 color: darkorange;
44 }
45 a.c2html-userinclude {
46 color: darkorange;
47 text-decoration: underline;
48 }
49 </style>
50 </head>
51 <body>