Tue, 28 Feb 2023 20:55:56 -0600
completion fixes, but leave omni off
929 | 1 | <!DOCTYPE html> |
2 | <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$> | |
3 | <head> | |
4 | <meta charset="utf-8"> | |
5 | <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> | |
6 | <title>$if(docmeta-title)$$docmeta-title$$else$$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$$endif$</title> | |
7 | <style type="text/css"> | |
8 | nav { | |
9 | float: right; | |
10 | max-width: 25%; | |
11 | font-size: 90%; | |
12 | white-space: nowrap; | |
13 | hyphens: none; | |
14 | } | |
15 | nav ul { | |
16 | list-style: none; | |
17 | } | |
18 | body { | |
19 | font-family: sans-serif; | |
20 | line-height: 1.2em; | |
21 | max-width: 62em; | |
22 | margin: 5em; | |
23 | background: floralwhite; | |
24 | } | |
25 | article ul { | |
26 | margin-right: 8em; | |
27 | } | |
28 | blockquote, div.sourceCode { | |
29 | margin:0 0 0 .8ex; | |
30 | border-left:1px #ccc solid; | |
31 | padding-left:1ex; | |
32 | } | |
33 | a, a:visited { | |
34 | color: blue; | |
35 | text-decoration-style: dotted; | |
36 | } | |
37 | $if(quotes)$q { quotes: "“" "”" "‘" "’"; } $endif$ | |
38 | $if(highlighting-css)$ $highlighting-css$ $endif$ | |
39 | </style> | |
40 | </head> | |
41 | <body> | |
42 | $if(toc)$ | |
43 | <nav id="$idprefix$TOC"> | |
44 | $toc$ | |
45 | </nav> | |
46 | $endif$ | |
47 | <article> | |
48 | $body$ | |
49 | </article> | |
50 | </body> | |
51 | </html> |