123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120 |
- <!DOCTYPE html>
- <html$if(lang)$ lang="$lang$"$endif$$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>
- $if(quotes)$
- <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
- $endif$
- $if(highlighting-css)$
- <style type="text/css">
- $highlighting-css$
- </style>
- $endif$
- $for(css)$
- <link rel="stylesheet" href="$css$">
- $endfor$
- $if(math)$
- $math$
- $endif$
- $for(header-includes)$
- $header-includes$
- $endfor$
- <link rel="alternate" type="application/rss+xml" title="RSS Feed" href="/feed.xml"/>
- <style type="text/css">
- html{
- background:#222;
- color:#eee;
- }
- .date,.author,.h a{display:none}
- code,pre,#TOC,a:hover{background:#444}
- :not(p),a:hover {
- max-width:50em;
- margin:0 auto;
- font-family:sans-serif;
- line-height:1.4
- }
- a{color:#fcc}
- .title>*, header ul>li, .nav ul>li,
- #footer ul>li, .h:hover>*
- ul>li
- {
- display:inline;
- margin:.7%;
- text-align:center;
- }
- .title>*,span.date{display:block}
- img,video{max-width:100%}
- #TOC{
- float:left;
- margin:1em
- }
- html,ul,#TOC{padding:1em}
- </style>
- </head>
- <body>
- <div class="page">
- $for(include-before)$
- $include-before$
- $endfor$
- $if(title)$
- <header>
- <div class="title">
- <h1 class="title">$title$</h1>
- </div>
- $if(subtitle)$
- <p class="subtitle">$subtitle$</p>
- $endif$
- $for(author)$
- <p class="author">$author$</p>
- $endfor$
- $if(date)$
- <p class="date">$date$</p>
- $endif$
- <ul>
- <li><a href="/">Home</a></li>
- <li><a href="/download.html">Download</a></li>
- <li><a href="/news/">News</a></li>
- <li><a href="/tasks/">TODO</a></li>
- <li><a href="https://notabug.org/untitled/untitled/issues">Report bug</a></li>
- <li><a href="/git.html">Send patches</a></li>
- <li><strong><a href="/contact.html">Contact</a></strong></li>
- <li><strong><a href="/who.html">Who!?!?</a></strong></li>
- <li><strong><a href="/donate.html">Donate</a></strong></li>
- </ul>
- </header>
- $endif$
- $if(return)$
- $return$
- $endif$
- $if(toc)$
- <nav id="$idprefix$TOC">
- <h1>Navigate this page:</h1>
- $toc$
- </nav>
- $endif$
- $if(toc)$
- <div class="pagetext">
- $endif$
- $body$
- $for(include-after)$
- $include-after$
- $endfor$
- $if(toc)$
- </div>
- $endif$
- </div>
- </body>
- </html>
|