1 195f32d3 2022-12-02 op /* $OpenBSD: mandoc.css,v 1.39 2022/07/06 14:27:55 schwarze Exp $ */
3 195f32d3 2022-12-02 op * Standard style sheet for mandoc(1) -Thtml and man.cgi(8).
5 195f32d3 2022-12-02 op * Written by Ingo Schwarze <schwarze@openbsd.org>.
6 195f32d3 2022-12-02 op * I place this file into the public domain.
7 195f32d3 2022-12-02 op * Permission to use, copy, modify, and distribute it for any purpose
8 195f32d3 2022-12-02 op * with or without fee is hereby granted, without any conditions.
11 195f32d3 2022-12-02 op /* Global defaults. */
13 195f32d3 2022-12-02 op html { max-width: 65em;
14 195f32d3 2022-12-02 op --bg: #FFFFFF;
15 195f32d3 2022-12-02 op --fg: #000000; }
16 195f32d3 2022-12-02 op body { background: var(--bg);
17 195f32d3 2022-12-02 op color: var(--fg);
18 195f32d3 2022-12-02 op font-family: Helvetica,Arial,sans-serif; }
19 195f32d3 2022-12-02 op h1, h2 { font-size: 110%; }
20 195f32d3 2022-12-02 op table { margin-top: 0em;
21 195f32d3 2022-12-02 op margin-bottom: 0em;
22 195f32d3 2022-12-02 op border-collapse: collapse; }
23 195f32d3 2022-12-02 op /* Some browsers set border-color in a browser style for tbody,
24 195f32d3 2022-12-02 op * but not for table, resulting in inconsistent border styling. */
25 195f32d3 2022-12-02 op tbody { border-color: inherit; }
26 195f32d3 2022-12-02 op tr { border-color: inherit; }
27 195f32d3 2022-12-02 op td { vertical-align: top;
28 195f32d3 2022-12-02 op padding-left: 0.2em;
29 195f32d3 2022-12-02 op padding-right: 0.2em;
30 195f32d3 2022-12-02 op border-color: inherit; }
31 195f32d3 2022-12-02 op ul, ol, dl { margin-top: 0em;
32 195f32d3 2022-12-02 op margin-bottom: 0em; }
33 195f32d3 2022-12-02 op li, dt { margin-top: 1em; }
34 195f32d3 2022-12-02 op pre { font-family: inherit; }
36 195f32d3 2022-12-02 op .permalink { border-bottom: thin dotted;
37 195f32d3 2022-12-02 op color: inherit;
38 195f32d3 2022-12-02 op font: inherit;
39 195f32d3 2022-12-02 op text-decoration: inherit; }
40 195f32d3 2022-12-02 op * { clear: both }
42 195f32d3 2022-12-02 op /* Search form and search results. */
44 195f32d3 2022-12-02 op fieldset { border: thin solid silver;
45 195f32d3 2022-12-02 op border-radius: 1em;
46 195f32d3 2022-12-02 op text-align: center; }
47 195f32d3 2022-12-02 op input[name=expr] {
50 195f32d3 2022-12-02 op table.results { margin-top: 1em;
51 195f32d3 2022-12-02 op margin-left: 2em;
52 195f32d3 2022-12-02 op font-size: smaller; }
54 195f32d3 2022-12-02 op /* Header and footer lines. */
56 195f32d3 2022-12-02 op div[role=doc-pageheader] {
57 195f32d3 2022-12-02 op display: flex;
58 195f32d3 2022-12-02 op border-bottom: 1px dotted #808080;
59 195f32d3 2022-12-02 op margin-bottom: 1em;
60 195f32d3 2022-12-02 op font-size: smaller; }
61 195f32d3 2022-12-02 op .head-ltitle { flex: 1; }
62 195f32d3 2022-12-02 op .head-vol { flex: 0 1 auto;
63 195f32d3 2022-12-02 op text-align: center; }
64 195f32d3 2022-12-02 op .head-rtitle { flex: 1;
65 195f32d3 2022-12-02 op text-align: right; }
67 195f32d3 2022-12-02 op div[role=doc-pagefooter] {
68 195f32d3 2022-12-02 op display: flex;
69 195f32d3 2022-12-02 op justify-content: space-between;
70 195f32d3 2022-12-02 op border-top: 1px dotted #808080;
71 195f32d3 2022-12-02 op margin-top: 1em;
72 195f32d3 2022-12-02 op font-size: smaller; }
73 195f32d3 2022-12-02 op .foot-left { flex: 1; }
74 195f32d3 2022-12-02 op .foot-date { flex: 0 1 auto;
75 195f32d3 2022-12-02 op text-align: center; }
76 195f32d3 2022-12-02 op .foot-os { flex: 1;
77 195f32d3 2022-12-02 op text-align: right; }
79 195f32d3 2022-12-02 op /* Sections and paragraphs. */
81 195f32d3 2022-12-02 op main { margin-left: 3.8em; }
83 195f32d3 2022-12-02 op section.Sh { }
84 195f32d3 2022-12-02 op h2.Sh { margin-top: 1.2em;
85 195f32d3 2022-12-02 op margin-bottom: 0.6em;
86 195f32d3 2022-12-02 op margin-left: -3.2em; }
87 195f32d3 2022-12-02 op section.Ss { }
88 195f32d3 2022-12-02 op h3.Ss { margin-top: 1.2em;
89 195f32d3 2022-12-02 op margin-bottom: 0.6em;
90 195f32d3 2022-12-02 op margin-left: -1.2em;
91 195f32d3 2022-12-02 op font-size: 105%; }
92 195f32d3 2022-12-02 op .Pp { margin: 0.6em 0em; }
96 195f32d3 2022-12-02 op /* Displays and lists. */
99 195f32d3 2022-12-02 op .Bd-indent { margin-left: 3.8em; }
101 195f32d3 2022-12-02 op .Bl-bullet { list-style-type: disc;
102 195f32d3 2022-12-02 op padding-left: 1em; }
103 195f32d3 2022-12-02 op .Bl-bullet > li { }
104 195f32d3 2022-12-02 op .Bl-dash { list-style-type: none;
105 195f32d3 2022-12-02 op padding-left: 0em; }
106 195f32d3 2022-12-02 op .Bl-dash > li:before {
107 195f32d3 2022-12-02 op content: "\2014 "; }
108 195f32d3 2022-12-02 op .Bl-item { list-style-type: none;
109 195f32d3 2022-12-02 op padding-left: 0em; }
110 195f32d3 2022-12-02 op .Bl-item > li { }
111 195f32d3 2022-12-02 op .Bl-compact > li {
112 195f32d3 2022-12-02 op margin-top: 0em; }
114 195f32d3 2022-12-02 op .Bl-enum { padding-left: 2em; }
115 195f32d3 2022-12-02 op .Bl-enum > li { }
116 195f32d3 2022-12-02 op .Bl-compact > li {
117 195f32d3 2022-12-02 op margin-top: 0em; }
120 195f32d3 2022-12-02 op .Bl-diag > dt {
121 195f32d3 2022-12-02 op font-style: normal;
122 195f32d3 2022-12-02 op font-weight: bold; }
123 195f32d3 2022-12-02 op .Bl-diag > dd {
124 195f32d3 2022-12-02 op margin-left: 0em; }
126 195f32d3 2022-12-02 op .Bl-hang > dt { }
127 195f32d3 2022-12-02 op .Bl-hang > dd {
128 195f32d3 2022-12-02 op margin-left: 5.5em; }
129 195f32d3 2022-12-02 op .Bl-inset { }
130 195f32d3 2022-12-02 op .Bl-inset > dt { }
131 195f32d3 2022-12-02 op .Bl-inset > dd {
132 195f32d3 2022-12-02 op margin-left: 0em; }
133 195f32d3 2022-12-02 op .Bl-ohang { }
134 195f32d3 2022-12-02 op .Bl-ohang > dt { }
135 195f32d3 2022-12-02 op .Bl-ohang > dd {
136 195f32d3 2022-12-02 op margin-left: 0em; }
137 195f32d3 2022-12-02 op .Bl-tag { margin-top: 0.6em;
138 195f32d3 2022-12-02 op margin-left: 5.5em; }
139 195f32d3 2022-12-02 op .Bl-tag > dt {
141 195f32d3 2022-12-02 op margin-top: 0em;
142 195f32d3 2022-12-02 op margin-left: -5.5em;
143 195f32d3 2022-12-02 op padding-right: 0.5em;
144 195f32d3 2022-12-02 op vertical-align: top; }
145 195f32d3 2022-12-02 op .Bl-tag > dd {
146 195f32d3 2022-12-02 op clear: right;
147 195f32d3 2022-12-02 op column-count: 1; /* Force block formatting context. */
149 195f32d3 2022-12-02 op margin-top: 0em;
150 195f32d3 2022-12-02 op margin-left: 0em;
151 195f32d3 2022-12-02 op margin-bottom: 0.6em;
152 195f32d3 2022-12-02 op vertical-align: top; }
153 195f32d3 2022-12-02 op .Bl-compact { margin-top: 0em; }
154 195f32d3 2022-12-02 op .Bl-compact > dd {
155 195f32d3 2022-12-02 op margin-bottom: 0em; }
156 195f32d3 2022-12-02 op .Bl-compact > dt {
157 195f32d3 2022-12-02 op margin-top: 0em; }
159 195f32d3 2022-12-02 op .Bl-column { }
160 195f32d3 2022-12-02 op .Bl-column > tbody > tr { }
161 195f32d3 2022-12-02 op .Bl-column > tbody > tr > td {
162 195f32d3 2022-12-02 op margin-top: 1em; }
163 195f32d3 2022-12-02 op .Bl-compact > tbody > tr > td {
164 195f32d3 2022-12-02 op margin-top: 0em; }
166 195f32d3 2022-12-02 op .Rs { font-style: normal;
167 195f32d3 2022-12-02 op font-weight: normal; }
169 195f32d3 2022-12-02 op .RsB { font-style: italic;
170 195f32d3 2022-12-02 op font-weight: normal; }
173 195f32d3 2022-12-02 op .RsI { font-style: italic;
174 195f32d3 2022-12-02 op font-weight: normal; }
175 195f32d3 2022-12-02 op .RsJ { font-style: italic;
176 195f32d3 2022-12-02 op font-weight: normal; }
182 195f32d3 2022-12-02 op .RsT { text-decoration: underline; }
187 195f32d3 2022-12-02 op .tbl td { vertical-align: middle; }
189 195f32d3 2022-12-02 op .HP { margin-left: 3.8em;
190 195f32d3 2022-12-02 op text-indent: -3.8em; }
192 195f32d3 2022-12-02 op /* Semantic markup for command line utilities. */
195 195f32d3 2022-12-02 op code.Nm { font-style: normal;
196 195f32d3 2022-12-02 op font-weight: bold;
197 195f32d3 2022-12-02 op font-family: inherit; }
198 195f32d3 2022-12-02 op .Fl { font-style: normal;
199 195f32d3 2022-12-02 op font-weight: bold;
200 195f32d3 2022-12-02 op font-family: inherit; }
201 195f32d3 2022-12-02 op .Cm { font-style: normal;
202 195f32d3 2022-12-02 op font-weight: bold;
203 195f32d3 2022-12-02 op font-family: inherit; }
204 195f32d3 2022-12-02 op .Ar { font-style: italic;
205 195f32d3 2022-12-02 op font-weight: normal; }
206 195f32d3 2022-12-02 op .Op { display: inline flow; }
207 195f32d3 2022-12-02 op .Ic { font-style: normal;
208 195f32d3 2022-12-02 op font-weight: bold;
209 195f32d3 2022-12-02 op font-family: inherit; }
210 195f32d3 2022-12-02 op .Ev { font-style: normal;
211 195f32d3 2022-12-02 op font-weight: normal;
212 195f32d3 2022-12-02 op font-family: monospace; }
213 195f32d3 2022-12-02 op .Pa { font-style: italic;
214 195f32d3 2022-12-02 op font-weight: normal; }
216 195f32d3 2022-12-02 op /* Semantic markup for function libraries. */
219 195f32d3 2022-12-02 op code.In { font-style: normal;
220 195f32d3 2022-12-02 op font-weight: bold;
221 195f32d3 2022-12-02 op font-family: inherit; }
223 195f32d3 2022-12-02 op .Fd { font-style: normal;
224 195f32d3 2022-12-02 op font-weight: bold;
225 195f32d3 2022-12-02 op font-family: inherit; }
226 195f32d3 2022-12-02 op .Ft { font-style: italic;
227 195f32d3 2022-12-02 op font-weight: normal; }
228 195f32d3 2022-12-02 op .Fn { font-style: normal;
229 195f32d3 2022-12-02 op font-weight: bold;
230 195f32d3 2022-12-02 op font-family: inherit; }
231 195f32d3 2022-12-02 op .Fa { font-style: italic;
232 195f32d3 2022-12-02 op font-weight: normal; }
233 195f32d3 2022-12-02 op .Vt { font-style: italic;
234 195f32d3 2022-12-02 op font-weight: normal; }
235 195f32d3 2022-12-02 op .Va { font-style: italic;
236 195f32d3 2022-12-02 op font-weight: normal; }
237 195f32d3 2022-12-02 op .Dv { font-style: normal;
238 195f32d3 2022-12-02 op font-weight: normal;
239 195f32d3 2022-12-02 op font-family: monospace; }
240 195f32d3 2022-12-02 op .Er { font-style: normal;
241 195f32d3 2022-12-02 op font-weight: normal;
242 195f32d3 2022-12-02 op font-family: monospace; }
244 195f32d3 2022-12-02 op /* Various semantic markup. */
249 195f32d3 2022-12-02 op .Cd { font-style: normal;
250 195f32d3 2022-12-02 op font-weight: bold;
251 195f32d3 2022-12-02 op font-family: inherit; }
252 195f32d3 2022-12-02 op .Ad { font-style: italic;
253 195f32d3 2022-12-02 op font-weight: normal; }
254 195f32d3 2022-12-02 op .Ms { font-style: normal;
255 195f32d3 2022-12-02 op font-weight: bold; }
259 195f32d3 2022-12-02 op /* Physical markup. */
261 195f32d3 2022-12-02 op .Bf { display: inline flow; }
262 195f32d3 2022-12-02 op .No { font-style: normal;
263 195f32d3 2022-12-02 op font-weight: normal; }
264 195f32d3 2022-12-02 op .Em { font-style: italic;
265 195f32d3 2022-12-02 op font-weight: normal; }
266 195f32d3 2022-12-02 op .Sy { font-style: normal;
267 195f32d3 2022-12-02 op font-weight: bold; }
268 195f32d3 2022-12-02 op .Li { font-style: normal;
269 195f32d3 2022-12-02 op font-weight: normal;
270 195f32d3 2022-12-02 op font-family: monospace; }
272 195f32d3 2022-12-02 op /* Tooltip support. */
274 195f32d3 2022-12-02 op h2.Sh, h3.Ss { position: relative; }
275 195f32d3 2022-12-02 op .An, .Ar, .Cd, .Cm, .Dv, .Em, .Er, .Ev, .Fa, .Fd, .Fl, .Fn, .Ft,
276 195f32d3 2022-12-02 op .Ic, code.In, .Lb, .Lk, .Ms, .Mt, .Nd, code.Nm, .Pa, .Rs,
277 195f32d3 2022-12-02 op .St, .Sx, .Sy, .Va, .Vt, .Xr {
278 195f32d3 2022-12-02 op display: inline flow;
279 195f32d3 2022-12-02 op position: relative; }
281 195f32d3 2022-12-02 op .An::before { content: "An"; }
282 195f32d3 2022-12-02 op .Ar::before { content: "Ar"; }
283 195f32d3 2022-12-02 op .Cd::before { content: "Cd"; }
284 195f32d3 2022-12-02 op .Cm::before { content: "Cm"; }
285 195f32d3 2022-12-02 op .Dv::before { content: "Dv"; }
286 195f32d3 2022-12-02 op .Em::before { content: "Em"; }
287 195f32d3 2022-12-02 op .Er::before { content: "Er"; }
288 195f32d3 2022-12-02 op .Ev::before { content: "Ev"; }
289 195f32d3 2022-12-02 op .Fa::before { content: "Fa"; }
290 195f32d3 2022-12-02 op .Fd::before { content: "Fd"; }
291 195f32d3 2022-12-02 op .Fl::before { content: "Fl"; }
292 195f32d3 2022-12-02 op .Fn::before { content: "Fn"; }
293 195f32d3 2022-12-02 op .Ft::before { content: "Ft"; }
294 195f32d3 2022-12-02 op .Ic::before { content: "Ic"; }
295 195f32d3 2022-12-02 op code.In::before { content: "In"; }
296 195f32d3 2022-12-02 op .Lb::before { content: "Lb"; }
297 195f32d3 2022-12-02 op .Lk::before { content: "Lk"; }
298 195f32d3 2022-12-02 op .Ms::before { content: "Ms"; }
299 195f32d3 2022-12-02 op .Mt::before { content: "Mt"; }
300 195f32d3 2022-12-02 op .Nd::before { content: "Nd"; }
301 195f32d3 2022-12-02 op code.Nm::before { content: "Nm"; }
302 195f32d3 2022-12-02 op .Pa::before { content: "Pa"; }
303 195f32d3 2022-12-02 op .Rs::before { content: "Rs"; }
304 195f32d3 2022-12-02 op h2.Sh::before { content: "Sh"; }
305 195f32d3 2022-12-02 op h3.Ss::before { content: "Ss"; }
306 195f32d3 2022-12-02 op .St::before { content: "St"; }
307 195f32d3 2022-12-02 op .Sx::before { content: "Sx"; }
308 195f32d3 2022-12-02 op .Sy::before { content: "Sy"; }
309 195f32d3 2022-12-02 op .Va::before { content: "Va"; }
310 195f32d3 2022-12-02 op .Vt::before { content: "Vt"; }
311 195f32d3 2022-12-02 op .Xr::before { content: "Xr"; }
313 195f32d3 2022-12-02 op .An::before, .Ar::before, .Cd::before, .Cm::before,
314 195f32d3 2022-12-02 op .Dv::before, .Em::before, .Er::before, .Ev::before,
315 195f32d3 2022-12-02 op .Fa::before, .Fd::before, .Fl::before, .Fn::before, .Ft::before,
316 195f32d3 2022-12-02 op .Ic::before, code.In::before, .Lb::before, .Lk::before,
317 195f32d3 2022-12-02 op .Ms::before, .Mt::before, .Nd::before, code.Nm::before,
318 195f32d3 2022-12-02 op .Pa::before, .Rs::before,
319 195f32d3 2022-12-02 op h2.Sh::before, h3.Ss::before, .St::before, .Sx::before, .Sy::before,
320 195f32d3 2022-12-02 op .Va::before, .Vt::before, .Xr::before {
322 195f32d3 2022-12-02 op transition: .15s ease opacity;
323 195f32d3 2022-12-02 op pointer-events: none;
324 195f32d3 2022-12-02 op position: absolute;
325 195f32d3 2022-12-02 op bottom: 100%;
326 195f32d3 2022-12-02 op box-shadow: 0 0 .35em var(--fg);
327 195f32d3 2022-12-02 op padding: .15em .25em;
328 195f32d3 2022-12-02 op white-space: nowrap;
329 195f32d3 2022-12-02 op font-family: Helvetica,Arial,sans-serif;
330 195f32d3 2022-12-02 op font-style: normal;
331 195f32d3 2022-12-02 op font-weight: bold;
332 195f32d3 2022-12-02 op background: var(--bg);
333 195f32d3 2022-12-02 op color: var(--fg); }
334 195f32d3 2022-12-02 op .An:hover::before, .Ar:hover::before, .Cd:hover::before, .Cm:hover::before,
335 195f32d3 2022-12-02 op .Dv:hover::before, .Em:hover::before, .Er:hover::before, .Ev:hover::before,
336 195f32d3 2022-12-02 op .Fa:hover::before, .Fd:hover::before, .Fl:hover::before, .Fn:hover::before,
337 195f32d3 2022-12-02 op .Ft:hover::before, .Ic:hover::before, code.In:hover::before,
338 195f32d3 2022-12-02 op .Lb:hover::before, .Lk:hover::before, .Ms:hover::before, .Mt:hover::before,
339 195f32d3 2022-12-02 op .Nd:hover::before, code.Nm:hover::before, .Pa:hover::before,
340 195f32d3 2022-12-02 op .Rs:hover::before, h2.Sh:hover::before, h3.Ss:hover::before, .St:hover::before,
341 195f32d3 2022-12-02 op .Sx:hover::before, .Sy:hover::before, .Va:hover::before, .Vt:hover::before,
342 195f32d3 2022-12-02 op .Xr:hover::before {
344 195f32d3 2022-12-02 op pointer-events: inherit; }
346 195f32d3 2022-12-02 op /* Overrides to avoid excessive margins on small devices. */
348 195f32d3 2022-12-02 op @media (max-width: 37.5em) {
349 195f32d3 2022-12-02 op main { margin-left: 0.5em; }
350 195f32d3 2022-12-02 op h2.Sh, h3.Ss { margin-left: 0em; }
351 195f32d3 2022-12-02 op .Bd-indent { margin-left: 2em; }
352 195f32d3 2022-12-02 op .Bl-hang > dd {
353 195f32d3 2022-12-02 op margin-left: 2em; }
354 195f32d3 2022-12-02 op .Bl-tag { margin-left: 2em; }
355 195f32d3 2022-12-02 op .Bl-tag > dt {
356 195f32d3 2022-12-02 op margin-left: -2em; }
357 195f32d3 2022-12-02 op .HP { margin-left: 2em;
358 195f32d3 2022-12-02 op text-indent: -2em; }
361 195f32d3 2022-12-02 op /* Overrides for a dark color scheme for accessibility. */
363 195f32d3 2022-12-02 op @media (prefers-color-scheme: dark) {
364 195f32d3 2022-12-02 op html { --bg: #1E1F21;
365 195f32d3 2022-12-02 op --fg: #EEEFF1; }
366 195f32d3 2022-12-02 op :link { color: #BAD7FF; }
367 195f32d3 2022-12-02 op :visited { color: #F6BAFF; }
