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