| 1 | <!DOCTYPE html>
|
| 2 | <html lang="en">
|
| 3 |
|
| 4 | <head>
|
| 5 | <meta charset="UTF-8">
|
| 6 | <meta http-equiv="X-UA-Compatible" content="ie=edge">
|
| 7 | <title>{{title}} annotated source</title>
|
| 8 | <link rel="stylesheet" href="{{baseURL}}main.css">
|
| 9 | </head>
|
| 10 |
|
| 11 | <body>
|
| 12 | <main>
|
| 13 | <div class="line">
|
| 14 | <div class="doc">
|
| 15 | <h1>{{title}} <span class="fade">annotated source</span></h1>
|
| 16 | <em><a class="back" href="{{baseURL}}">Back to index</a></em>
|
| 17 | </div>
|
| 18 | <pre></pre>
|
| 19 | </div>
|
| 20 | {{lines}}
|
| 21 | </main>
|
| 22 | <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/styles/github-gist.min.css">
|
| 23 | <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/highlight.min.js"></script>
|
| 24 | <script>
|
| 25 | for (const el of document.querySelectorAll('.line pre')) {
|
| 26 | hljs.highlightBlock(el);
|
| 27 | }
|
| 28 | </script>
|
| 29 | </body>
|
| 30 |
|
| 31 | </html> |
| \ | No newline at end of file |