2019-09-14 18:29:05 +00:00
|
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$if(dir)$ dir="$dir$"$endif$>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<meta name="generator" content="pandoc" />
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
|
|
|
|
|
$for(author-meta)$
|
|
|
|
|
<meta name="author" content="$author-meta$" />
|
|
|
|
|
$endfor$
|
|
|
|
|
$if(date-meta)$
|
|
|
|
|
<meta name="dcterms.date" content="$date-meta$" />
|
|
|
|
|
$endif$
|
|
|
|
|
$if(keywords)$
|
|
|
|
|
<meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" />
|
|
|
|
|
$endif$
|
|
|
|
|
<title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
|
2020-05-06 07:50:51 +00:00
|
|
|
|
<link rel="stylesheet" href="../style.css">
|
2019-09-14 18:29:05 +00:00
|
|
|
|
<style type="text/css">
|
2020-10-10 14:46:36 +00:00
|
|
|
|
code{background: rgba(255, 187, 85, 0.15);padding: 0.1em 0.2em;border-radius: 0.3em;white-space: pre-wrap;}
|
|
|
|
|
pre code{background: none;}
|
2019-09-14 18:29:05 +00:00
|
|
|
|
span.smallcaps{font-variant: small-caps;}
|
|
|
|
|
span.underline{text-decoration: underline;}
|
|
|
|
|
div.column{display: inline-block; vertical-align: top; width: 50%;}
|
|
|
|
|
$if(quotes)$
|
|
|
|
|
q { quotes: "“" "”" "‘" "’"; }
|
|
|
|
|
$endif$
|
|
|
|
|
</style>
|
|
|
|
|
$if(highlighting-css)$
|
|
|
|
|
<style type="text/css">
|
|
|
|
|
$highlighting-css$
|
|
|
|
|
</style>
|
|
|
|
|
$endif$
|
|
|
|
|
$for(css)$
|
|
|
|
|
<link rel="stylesheet" href="$css$" />
|
|
|
|
|
$endfor$
|
|
|
|
|
$if(math)$
|
|
|
|
|
$math$
|
|
|
|
|
$endif$
|
|
|
|
|
<!--[if lt IE 9]>
|
|
|
|
|
<script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
|
|
|
|
|
<![endif]-->
|
|
|
|
|
$for(header-includes)$
|
|
|
|
|
$header-includes$
|
|
|
|
|
$endfor$
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
$for(include-before)$
|
|
|
|
|
$include-before$
|
|
|
|
|
$endfor$
|
2020-05-07 04:26:14 +00:00
|
|
|
|
<div class="content">
|
|
|
|
|
$if(title)$
|
|
|
|
|
<header>
|
2020-05-07 05:41:49 +00:00
|
|
|
|
<h1 id="fancyboi" class="title">$title$</h1>
|
2020-05-06 07:50:51 +00:00
|
|
|
|
|
2020-05-07 04:26:14 +00:00
|
|
|
|
$if(subtitle)$
|
|
|
|
|
<p class="subtitle">$subtitle$</p>
|
|
|
|
|
$endif$
|
2019-09-14 18:29:05 +00:00
|
|
|
|
|
2020-05-07 04:26:14 +00:00
|
|
|
|
$if(author)$
|
|
|
|
|
<p>authors:</p>
|
|
|
|
|
$for(author)$
|
|
|
|
|
<p class="author"><a href="/~$author$/">~$author$</a></p>
|
|
|
|
|
$endfor$
|
|
|
|
|
$endif$
|
2019-09-14 18:29:05 +00:00
|
|
|
|
|
2020-05-07 04:26:14 +00:00
|
|
|
|
$if(date)$
|
|
|
|
|
<p class="date">$date$</p>
|
|
|
|
|
$endif$
|
|
|
|
|
</header>
|
2019-09-14 18:29:05 +00:00
|
|
|
|
$endif$
|
2020-05-07 04:26:14 +00:00
|
|
|
|
<br>
|
|
|
|
|
<div class="grid">
|
|
|
|
|
<div class="row">
|
2020-05-06 07:50:51 +00:00
|
|
|
|
|
2020-05-07 04:26:14 +00:00
|
|
|
|
<div class="col">
|
2020-05-06 07:50:51 +00:00
|
|
|
|
|
2020-05-07 04:26:14 +00:00
|
|
|
|
$if(toc)$
|
|
|
|
|
$if(toc-title)$
|
|
|
|
|
<h2>$toc-title$</h2>
|
2019-09-14 18:29:05 +00:00
|
|
|
|
$endif$
|
2020-05-07 04:26:14 +00:00
|
|
|
|
<nav id="$idprefix$TOC">
|
|
|
|
|
$table-of-contents$
|
|
|
|
|
</nav>
|
|
|
|
|
<hr>
|
|
|
|
|
$endif$
|
2020-04-13 04:47:22 +00:00
|
|
|
|
<!-- unindent body so that code blocks don't have extra indents. See
|
|
|
|
|
https://stackoverflow.com/questions/42773587/code-block-formatting-issues-with-bootstrap-and-pandoc -->
|
|
|
|
|
$body$
|
2020-05-07 04:26:14 +00:00
|
|
|
|
$for(include-after)$
|
|
|
|
|
$include-after$
|
|
|
|
|
$endfor$
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
2020-05-06 07:50:51 +00:00
|
|
|
|
</div>
|
|
|
|
|
</div>
|
2020-05-07 04:26:14 +00:00
|
|
|
|
<br>
|
2020-05-07 03:06:24 +00:00
|
|
|
|
<footer class="text-center">
|
|
|
|
|
<p>ECDSA fingerprint: SHA256:duamOATgnGcfRFFkotCwrAWzZtRjwxm64WAhq5tQRwE</p>
|
|
|
|
|
<a href="https://github.com/tildeclub/site">page source</a>
|
|
|
|
|
</footer>
|
2020-05-07 04:26:14 +00:00
|
|
|
|
</body>
|
2019-09-14 18:29:05 +00:00
|
|
|
|
</html>
|