1 <!DOCTYPE html>
2 <html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$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 $for(author-meta)$
7   <meta name="author" content="$author-meta$" />
8 $endfor$
9 $if(date-meta)$
10   <meta name="dcterms.date" content="$date-meta$" />
11 $endif$
12 $if(keywords)$
13   <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" />
14 $endif$
15 $if(description-meta)$
16   <meta name="description" content="$description-meta$" />
17 $endif$
18   <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
19   <style>
20     html {
21       color: #1a1a1a;
22       background-color: #fdfdfd;
23     }
24     body {
25       margin: 0 auto;
26       max-width: 42em;
27       padding-left: 50px;
28       padding-right: 50px;
29       padding-top: 50px;
30       padding-bottom: 50px;
31       hyphens: auto;
32       overflow-wrap: break-word;
33       text-rendering: optimizeLegibility;
34       font-kerning: normal;
35     }
36     @media (max-width: 600px) {
37       body {
38         font-size: 0.9em;
39         padding: 12px;
40       }
41       h1 {
42         font-size: 1.8em;
43       }
44     }
45     @media print {
46       html {
47         background-color: white;
48       }
49       body {
50         background-color: transparent;
51         color: black;
52         font-size: 12pt;
53       }
54       p, h2, h3 {
55         orphans: 3;
56         widows: 3;
57       }
58       h2, h3, h4 {
59         page-break-after: avoid;
60       }
61     }
62     p {
63       margin: 1em 0;
64     }
65     a {
66       color: #1a1a1a;
67     }
68     a:visited {
69       color: #1a1a1a;
70     }
71     img {
72       max-width: 100%;
73     }
74     svg {
75       height: auto;
76       max-width: 100%;
77     }
78     h1, h2, h3, h4, h5, h6 {
79       margin-top: 1.4em;
80     }
81     h5, h6 {
82       font-size: 1em;
83       font-style: italic;
84     }
85     h6 {
86       font-weight: normal;
87     }
88     ol, ul {
89       padding-left: 1.7em;
90       margin-top: 1em;
91     }
92     li > ol, li > ul {
93       margin-top: 0;
94     }
95     blockquote {
96       margin: 1em 0 1em 1.7em;
97       padding-left: 1em;
98       border-left: 2px solid #e6e6e6;
99       color: #606060;
100     }
101     code {
102       font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
103       font-size: 85%;
104       margin: 0;
105       hyphens: manual;
106     }
107     pre {
108       margin: 1em 0;
109       overflow: auto;
110     }
111     pre code {
112       padding: 0;
113       overflow: visible;
114       overflow-wrap: normal;
115     }
116     .sourceCode {
117      background-color: transparent;
118      overflow: visible;
119     }
120     hr {
121       background-color: #1a1a1a;
122       border: none;
123       height: 1px;
124       margin: 1em 0;
125     }
126     table {
127       margin: 1em 0;
128       border-collapse: collapse;
129       width: 100%;
130       overflow-x: auto;
131       display: block;
132       font-variant-numeric: lining-nums tabular-nums;
133     }
134     table caption {
135       margin-bottom: 0.75em;
136     }
137     tbody {
138       margin-top: 0.5em;
139       border-top: 1px solid #1a1a1a;
140       border-bottom: 1px solid #1a1a1a;
141     }
142     th {
143       border-top: 1px solid #1a1a1a;
144       padding: 0.25em 0.5em 0.25em 0.5em;
145     }
146     td {
147       padding: 0.125em 0.5em 0.25em 0.5em;
148     }
149     header {
150       margin-bottom: 4em;
151       text-align: center;
152     }
153     #TOC li {
154       list-style: none;
155     }
156     #TOC ul {
157       padding-left: 1.3em;
158     }
159     #TOC > ul {
160       padding-left: 0;
161     }
162     #TOC a:not(:hover) {
163       text-decoration: none;
164     }
165     code{white-space: pre-wrap;}
166     span.smallcaps{font-variant: small-caps;}
167     div.columns{display: flex; gap: min(4vw, 1.5em);}
168     div.column{flex: auto; overflow-x: auto;}
169     div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
170     /* The extra [class] is a hack that increases specificity enough to
171        override a similar rule in reveal.js */
172     ul.task-list[class]{list-style: none;}
173     ul.task-list li input[type="checkbox"] {
174       font-size: inherit;
175       width: 0.8em;
176       margin: 0 0.8em 0.2em -1.6em;
177       vertical-align: middle;
178     }
179     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
180     /* CSS for syntax highlighting */
181     html { -webkit-text-size-adjust: 100%; }
182     pre > code.sourceCode { white-space: pre; position: relative; }
183     pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
184     pre > code.sourceCode > span:empty { height: 1.2em; }
185     .sourceCode { overflow: visible; }
186     code.sourceCode > span { color: inherit; text-decoration: inherit; }
187     div.sourceCode { margin: 1em 0; }
188     pre.sourceCode { margin: 0; }
189     @media screen {
190     div.sourceCode { overflow: auto; }
191     }
192     @media print {
193     pre > code.sourceCode { white-space: pre-wrap; }
194     pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
195     }
196     pre.numberSource code
197       { counter-reset: source-line 0; }
198     pre.numberSource code > span
199       { position: relative; left: -4em; counter-increment: source-line; }
200     pre.numberSource code > span > a:first-child::before
201       { content: counter(source-line);
202         position: relative; left: -1em; text-align: right; vertical-align: baseline;
203         border: none; display: inline-block;
204         -webkit-touch-callout: none; -webkit-user-select: none;
205         -khtml-user-select: none; -moz-user-select: none;
206         -ms-user-select: none; user-select: none;
207         padding: 0 4px; width: 4em;
208         color: #aaaaaa;
209       }
210     pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }
211     div.sourceCode
212       {   }
213     @media screen {
214     pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
215     }
216     code span.al { color: #ff0000; font-weight: bold; } /* Alert */
217     code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
218     code span.at { color: #7d9029; } /* Attribute */
219     code span.bn { color: #40a070; } /* BaseN */
220     code span.bu { color: #008000; } /* BuiltIn */
221     code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
222     code span.ch { color: #4070a0; } /* Char */
223     code span.cn { color: #880000; } /* Constant */
224     code span.co { color: #60a0b0; font-style: italic; } /* Comment */
225     code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
226     code span.do { color: #ba2121; font-style: italic; } /* Documentation */
227     code span.dt { color: #902000; } /* DataType */
228     code span.dv { color: #40a070; } /* DecVal */
229     code span.er { color: #ff0000; font-weight: bold; } /* Error */
230     code span.ex { } /* Extension */
231     code span.fl { color: #40a070; } /* Float */
232     code span.fu { color: #06287e; } /* Function */
233     code span.im { color: #008000; font-weight: bold; } /* Import */
234     code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
235     code span.kw { color: #007020; font-weight: bold; } /* Keyword */
236     code span.op { color: #666666; } /* Operator */
237     code span.ot { color: #007020; } /* Other */
238     code span.pp { color: #bc7a00; } /* Preprocessor */
239     code span.sc { color: #4070a0; } /* SpecialChar */
240     code span.ss { color: #bb6688; } /* SpecialString */
241     code span.st { color: #4070a0; } /* String */
242     code span.va { color: #19177c; } /* Variable */
243     code span.vs { color: #4070a0; } /* VerbatimString */
244     code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
245   </style>
246 $for(css)$
247   <link rel="stylesheet" href="$css$" />
248 $endfor$
249 $for(header-includes)$
250   $header-includes$
251 $endfor$
252 $if(math)$
253   $math$
254 $endif$
255 </head>
256 <body>
257 $for(include-before)$
258 $include-before$
259 $endfor$
260 $if(title)$
261 <header id="title-block-header">
262 <h1 class="title">$title$</h1>
263 $if(subtitle)$
264 <p class="subtitle">$subtitle$</p>
265 $endif$
266 $for(author)$
267 <p class="author">$author$</p>
268 $endfor$
269 $if(date)$
270 <p class="date">$date$</p>
271 $endif$
272 $if(abstract)$
273 <div class="abstract">
274 <div class="abstract-title">$abstract-title$</div>
275 $abstract$
276 </div>
277 $endif$
278 </header>
279 $endif$
280 $if(toc)$
281 <nav id="$idprefix$TOC" role="doc-toc">
282 $if(toc-title)$
283 <h2 id="$idprefix$toc-title">$toc-title$</h2>
284 $endif$
285 $table-of-contents$
286 </nav>
287 $endif$
288 $body$
289 $for(include-after)$
290 $include-after$
291 $endfor$
292 </body>
293 </html>