jcs.org
Website data for no-color.org
1<!doctype html>
2<html lang="en">
3<head>
4 <meta charset="utf-8">
5 <meta name="viewport" content="width=device-width, initial-scale=1.0">
6 <meta name="color-scheme" content="light dark">
7 <title>NO_COLOR: disabling ANSI color output by default</title>
8 <style>
9 body {
10 font-family: sans-serif;
11 font-size: 11pt;
12 }
13
14 h1 {
15 font-size: 20pt;
16 margin: 0;
17 }
18
19 h2 {
20 font-size: 13pt;
21 margin-top: 1.5em;
22 }
23
24 h3 {
25 margin: 0;
26 padding: 0;
27 color: gray;
28 font-size: 10pt;
29 font-weight: normal;
30 }
31
32 #wrapper {
33 margin: 3em auto;
34 width: 800px;
35 }
36
37 table {
38 width: 100%;
39 }
40
41 th {
42 background-color: #ddd;
43 color: black;
44 }
45
46 th, td {
47 padding: 0.25em;
48 vertical-align: top;
49 }
50
51 table tr td:first-child {
52 width: 20%;
53 }
54 table tr td:last-child {
55 width: 25%;
56 }
57
58 table.two_col tr td:first-child {
59 width: 20%;
60 }
61 table.two_col tr td:last-child {
62 width: 80%;
63 }
64
65 td code, p code {
66 padding: 3px;
67 }
68
69 blockquote, pre {
70 margin-left: 3em;
71 overflow: auto;
72 }
73
74 @media only screen and (max-width: 800px) {
75 #wrapper {
76 margin: 1em;
77 width: auto;
78 }
79 }
80 </style>
81</head>
82<body>
83 <div id="wrapper">
84 {{ content }}
85 </div>
86</body>
87</html>