| ... | ... | 
                                    @@ -173,6 +173,18 @@ $endfor$  | 
                            
| 173 | 173 | 
                                         () => SVGInject(document.querySelectorAll('.figure > embed')),
                                 | 
                            
| 174 | 174 | 
                                    );  | 
                            
| 175 | 175 | 
                                    </script>  | 
                            
| 176 | 
                                    +<script type="text/x-mathjax-config">  | 
                            |
| 177 | 
                                    +  MathJax.Hub.Config({
                                 | 
                            |
| 178 | 
                                    +    TeX: {
                                 | 
                            |
| 179 | 
                                    +      equationNumbers: {
                                 | 
                            |
| 180 | 
                                    + autoNumber: "AMS",  | 
                            |
| 181 | 
                                    + },  | 
                            |
| 182 | 
                                    +      Macros: {
                                 | 
                            |
| 183 | 
                                    +        vec: ["{\\boldsymbol{#1}}", 1],
                                 | 
                            |
| 184 | 
                                    + },  | 
                            |
| 185 | 
                                    + },  | 
                            |
| 186 | 
                                    + });  | 
                            |
| 187 | 
                                    +</script>  | 
                            |
| 176 | 188 | 
                                     | 
                            
| 177 | 189 | 
                                    </body>  | 
                            
| 178 | 190 | 
                                    </html>  | 
                            
| ... | ... | 
                                    @@ -150,6 +150,7 @@ $endfor$  | 
                            
| 150 | 150 | 
                                    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            
| 151 | 151 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.8.0/tocbot.min.js" integrity="sha256-dJs8/kT10avd5bf3rkLb1bUpUyLjcZA7ydzzU0vyhfM=" crossorigin="anonymous"></script>  | 
                            
| 152 | 152 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/4.2.0/anchor.min.js" integrity="sha256-m1eTvwEHwmsw4+XKF7BshClVJEPwTVycveNl0CS0Mkk=" crossorigin="anonymous"></script>  | 
                            
| 153 | 
                                    +<script src="https://cdn.jsdelivr.net/npm/@iconfu/svg-inject@1.2.3/dist/svg-inject.min.js"></script>  | 
                            |
| 153 | 154 | 
                                    <script>  | 
                            
| 154 | 155 | 
                                       $$('table').addClass("table");
                                 | 
                            
| 155 | 156 | 
                                    </script>  | 
                            
| ... | ... | 
                                    @@ -166,6 +167,12 @@ $endfor$  | 
                            
| 166 | 167 | 
                                    }  | 
                            
| 167 | 168 | 
                                       anchors.add('h1, h2, h3, h4, h5, h6');
                                 | 
                            
| 168 | 169 | 
                                    </script>  | 
                            
| 170 | 
                                    +<script>  | 
                            |
| 171 | 
                                    + document.addEventListener(  | 
                            |
| 172 | 
                                    + 'DOMContentLoaded',  | 
                            |
| 173 | 
                                    +    () => SVGInject(document.querySelectorAll('.figure > embed')),
                                 | 
                            |
| 174 | 
                                    + );  | 
                            |
| 175 | 
                                    +</script>  | 
                            |
| 169 | 176 | 
                                     | 
                            
| 170 | 177 | 
                                    </body>  | 
                            
| 171 | 178 | 
                                    </html>  | 
                            
| ... | ... | 
                                    @@ -62,6 +62,12 @@ $endif$  | 
                            
| 62 | 62 | 
                                    color: Indigo;  | 
                            
| 63 | 63 | 
                                    }  | 
                            
| 64 | 64 | 
                                    </style>  | 
                            
| 65 | 
                                    + <style>  | 
                            |
| 66 | 
                                    +    img, .figure > * {
                                 | 
                            |
| 67 | 
                                    + max-width: 100%;  | 
                            |
| 68 | 
                                    + height: auto;  | 
                            |
| 69 | 
                                    + }  | 
                            |
| 70 | 
                                    + </style>  | 
                            |
| 65 | 71 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 66 | 72 | 
                                    $if(quotes)$  | 
                            
| 67 | 73 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -51,6 +51,15 @@ $endif$  | 
                            
| 51 | 51 | 
                                    }  | 
                            
| 52 | 52 | 
                                    }  | 
                            
| 53 | 53 | 
                                    </style>  | 
                            
| 54 | 
                                    + <style type="text/css">  | 
                            |
| 55 | 
                                    +    .anchorjs-link {
                                 | 
                            |
| 56 | 
                                    + color: Gainsboro;  | 
                            |
| 57 | 
                                    + }  | 
                            |
| 58 | 
                                    +    .anchorjs-link:hover {
                                 | 
                            |
| 59 | 
                                    + text-decoration-line: unset;  | 
                            |
| 60 | 
                                    + color: Indigo;  | 
                            |
| 61 | 
                                    + }  | 
                            |
| 62 | 
                                    + </style>  | 
                            |
| 54 | 63 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 55 | 64 | 
                                    $if(quotes)$  | 
                            
| 56 | 65 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -144,7 +153,10 @@ $endfor$  | 
                            
| 144 | 153 | 
                                    });  | 
                            
| 145 | 154 | 
                                    </script>  | 
                            
| 146 | 155 | 
                                    <script>  | 
                            
| 147 | 
                                    - anchors.add();  | 
                            |
| 156 | 
                                    +  anchors.options = {
                                 | 
                            |
| 157 | 
                                    + visible: 'always',  | 
                            |
| 158 | 
                                    + }  | 
                            |
| 159 | 
                                    +  anchors.add('h1, h2, h3, h4, h5, h6');
                                 | 
                            |
| 148 | 160 | 
                                    </script>  | 
                            
| 149 | 161 | 
                                     | 
                            
| 150 | 162 | 
                                    </body>  | 
                            
| ... | ... | 
                                    @@ -28,6 +28,29 @@ $endif$  | 
                            
| 28 | 28 | 
                                    transition: unset;  | 
                            
| 29 | 29 | 
                                    }  | 
                            
| 30 | 30 | 
                                    </style>  | 
                            
| 31 | 
                                    + <style type="text/less">  | 
                            |
| 32 | 
                                    +    a.toc-link {
                                 | 
                            |
| 33 | 
                                    + text-decoration-line: unset;  | 
                            |
| 34 | 
                                    +      &::before {
                                 | 
                            |
| 35 | 
                                    + all: unset;  | 
                            |
| 36 | 
                                    + }  | 
                            |
| 37 | 
                                    + display: block;  | 
                            |
| 38 | 
                                    + color: Grey;  | 
                            |
| 39 | 
                                    +      &:hover {
                                 | 
                            |
| 40 | 
                                    + color: Indigo;  | 
                            |
| 41 | 
                                    + }  | 
                            |
| 42 | 
                                    +      &.is-active-link {
                                 | 
                            |
| 43 | 
                                    + color: Indigo;  | 
                            |
| 44 | 
                                    + }  | 
                            |
| 45 | 
                                    + .node-name--H(1);  | 
                            |
| 46 | 
                                    +      .node-name--H(@heading) when (@heading <= 6) {
                                 | 
                            |
| 47 | 
                                    +        &.node-name--H@{heading} {
                                 | 
                            |
| 48 | 
                                    + font-size: 1.0rem - 0.15 * (@heading - 2);  | 
                            |
| 49 | 
                                    + }  | 
                            |
| 50 | 
                                    + .node-name--H(@heading + 1);  | 
                            |
| 51 | 
                                    + }  | 
                            |
| 52 | 
                                    + }  | 
                            |
| 53 | 
                                    + </style>  | 
                            |
| 31 | 54 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 32 | 55 | 
                                    $if(quotes)$  | 
                            
| 33 | 56 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -117,6 +140,7 @@ $endfor$  | 
                            
| 117 | 140 | 
                                       tocbot.init({
                                 | 
                            
| 118 | 141 | 
                                    collapseDepth: 6,  | 
                            
| 119 | 142 | 
                                    scrollSmooth: false,  | 
                            
| 143 | 
                                    + headingSelector: 'h1, h2, h3, h4, h5, h6',  | 
                            |
| 120 | 144 | 
                                    });  | 
                            
| 121 | 145 | 
                                    </script>  | 
                            
| 122 | 146 | 
                                    <script>  | 
                            
| ... | ... | 
                                    @@ -104,6 +104,7 @@ $include-after$  | 
                            
| 104 | 104 | 
                                    </div>  | 
                            
| 105 | 105 | 
                                    $endfor$  | 
                            
| 106 | 106 | 
                                     | 
                            
| 107 | 
                                    +<script src="https://cdnjs.cloudflare.com/ajax/libs/less.js/3.10.3/less.min.js" integrity="sha256-rjnmpnNJuJiC3PN6wC1ux50dmyXqIEX5WUHS7lk0YS8=" crossorigin="anonymous"></script>  | 
                            |
| 107 | 108 | 
                                    <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>  | 
                            
| 108 | 109 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>  | 
                            
| 109 | 110 | 
                                    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            
| ... | ... | 
                                    @@ -108,6 +108,7 @@ $endfor$  | 
                            
| 108 | 108 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>  | 
                            
| 109 | 109 | 
                                    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            
| 110 | 110 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.8.0/tocbot.min.js" integrity="sha256-dJs8/kT10avd5bf3rkLb1bUpUyLjcZA7ydzzU0vyhfM=" crossorigin="anonymous"></script>  | 
                            
| 111 | 
                                    +<script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/4.2.0/anchor.min.js" integrity="sha256-m1eTvwEHwmsw4+XKF7BshClVJEPwTVycveNl0CS0Mkk=" crossorigin="anonymous"></script>  | 
                            |
| 111 | 112 | 
                                    <script>  | 
                            
| 112 | 113 | 
                                       $$('table').addClass("table");
                                 | 
                            
| 113 | 114 | 
                                    </script>  | 
                            
| ... | ... | 
                                    @@ -117,6 +118,9 @@ $endfor$  | 
                            
| 117 | 118 | 
                                    scrollSmooth: false,  | 
                            
| 118 | 119 | 
                                    });  | 
                            
| 119 | 120 | 
                                    </script>  | 
                            
| 121 | 
                                    +<script>  | 
                            |
| 122 | 
                                    + anchors.add();  | 
                            |
| 123 | 
                                    +</script>  | 
                            |
| 120 | 124 | 
                                     | 
                            
| 121 | 125 | 
                                    </body>  | 
                            
| 122 | 126 | 
                                    </html>  | 
                            
| ... | ... | 
                                    @@ -23,6 +23,11 @@ $endif$  | 
                            
| 23 | 23 | 
                                     | 
                            
| 24 | 24 | 
                                    <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">  | 
                            
| 25 | 25 | 
                                    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.8.0/tocbot.css" integrity="sha256-XUbSD3m+xLW27W/mp9kMn+fI9AU2MoBkiMMSVVYWI+o=" crossorigin="anonymous">  | 
                            
| 26 | 
                                    + <style type="text/css">  | 
                            |
| 27 | 
                                    +    .is-collapsible {
                                 | 
                            |
| 28 | 
                                    + transition: unset;  | 
                            |
| 29 | 
                                    + }  | 
                            |
| 30 | 
                                    + </style>  | 
                            |
| 26 | 31 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 27 | 32 | 
                                    $if(quotes)$  | 
                            
| 28 | 33 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -22,6 +22,7 @@ $endif$  | 
                            
| 22 | 22 | 
                                    <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>  | 
                            
| 23 | 23 | 
                                     | 
                            
| 24 | 24 | 
                                    <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">  | 
                            
| 25 | 
                                    + <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.8.0/tocbot.css" integrity="sha256-XUbSD3m+xLW27W/mp9kMn+fI9AU2MoBkiMMSVVYWI+o=" crossorigin="anonymous">  | 
                            |
| 25 | 26 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 26 | 27 | 
                                    $if(quotes)$  | 
                            
| 27 | 28 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -61,11 +62,11 @@ $endfor$  | 
                            
| 61 | 62 | 
                                     | 
                            
| 62 | 63 | 
                                    $if(toc)$  | 
                            
| 63 | 64 | 
                                    <div class="col-lg-3 d-none d-lg-block">  | 
                            
| 64 | 
                                    -<nav id="$idprefix$TOC" class="sticky-top vh-100 overflow-auto">  | 
                            |
| 65 | 
                                    +<nav id="$idprefix$TOC" class="toc js-toc sticky-top vh-100 overflow-auto">  | 
                            |
| 65 | 66 | 
                                    $toc$  | 
                            
| 66 | 67 | 
                                    </nav>  | 
                            
| 67 | 68 | 
                                    </div>  | 
                            
| 68 | 
                                    -<div class="col-lg-9">  | 
                            |
| 69 | 
                                    +<div class="col-lg-9 js-toc-content">  | 
                            |
| 69 | 70 | 
                                    $else$  | 
                            
| 70 | 71 | 
                                    <div class="col">  | 
                            
| 71 | 72 | 
                                    $endif$  | 
                            
| ... | ... | 
                                    @@ -101,9 +102,13 @@ $endfor$  | 
                            
| 101 | 102 | 
                                    <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>  | 
                            
| 102 | 103 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>  | 
                            
| 103 | 104 | 
                                    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            
| 105 | 
                                    +<script src="https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.8.0/tocbot.min.js" integrity="sha256-dJs8/kT10avd5bf3rkLb1bUpUyLjcZA7ydzzU0vyhfM=" crossorigin="anonymous"></script>  | 
                            |
| 104 | 106 | 
                                    <script>  | 
                            
| 105 | 107 | 
                                       $$('table').addClass("table");
                                 | 
                            
| 106 | 108 | 
                                    </script>  | 
                            
| 109 | 
                                    +<script>  | 
                            |
| 110 | 
                                    + tocbot.init();  | 
                            |
| 111 | 
                                    +</script>  | 
                            |
| 107 | 112 | 
                                     | 
                            
| 108 | 113 | 
                                    </body>  | 
                            
| 109 | 114 | 
                                    </html>  | 
                            
| ... | ... | 
                                    @@ -60,14 +60,15 @@ $endfor$  | 
                            
| 60 | 60 | 
                                    <div class="row">  | 
                            
| 61 | 61 | 
                                     | 
                            
| 62 | 62 | 
                                    $if(toc)$  | 
                            
| 63 | 
                                    -<div class="col-auto">  | 
                            |
| 63 | 
                                    +<div class="col-lg-3 d-none d-lg-block">  | 
                            |
| 64 | 64 | 
                                    <nav id="$idprefix$TOC">  | 
                            
| 65 | 65 | 
                                    $toc$  | 
                            
| 66 | 66 | 
                                    </nav>  | 
                            
| 67 | 67 | 
                                    </div>  | 
                            
| 68 | 
                                    -$endif$  | 
                            |
| 69 | 
                                    -  | 
                            |
| 68 | 
                                    +<div class="col-lg-9">  | 
                            |
| 69 | 
                                    +$else$  | 
                            |
| 70 | 70 | 
                                    <div class="col">  | 
                            
| 71 | 
                                    +$endif$  | 
                            |
| 71 | 72 | 
                                     | 
                            
| 72 | 73 | 
                                    $if(title)$  | 
                            
| 73 | 74 | 
                                    <header>  | 
                            
| ... | ... | 
                                    @@ -56,8 +56,20 @@ $include-before$  | 
                            
| 56 | 56 | 
                                    </div>  | 
                            
| 57 | 57 | 
                                    $endfor$  | 
                            
| 58 | 58 | 
                                     | 
                            
| 59 | 
                                    -$if(title)$  | 
                            |
| 60 | 59 | 
                                    <div class="container">  | 
                            
| 60 | 
                                    +<div class="row">  | 
                            |
| 61 | 
                                    +  | 
                            |
| 62 | 
                                    +$if(toc)$  | 
                            |
| 63 | 
                                    +<div class="col-auto">  | 
                            |
| 64 | 
                                    +<nav id="$idprefix$TOC">  | 
                            |
| 65 | 
                                    +$toc$  | 
                            |
| 66 | 
                                    +</nav>  | 
                            |
| 67 | 
                                    +</div>  | 
                            |
| 68 | 
                                    +$endif$  | 
                            |
| 69 | 
                                    +  | 
                            |
| 70 | 
                                    +<div class="col">  | 
                            |
| 71 | 
                                    +  | 
                            |
| 72 | 
                                    +$if(title)$  | 
                            |
| 61 | 73 | 
                                    <header>  | 
                            
| 62 | 74 | 
                                    <h1 class="title">$title$</h1>  | 
                            
| 63 | 75 | 
                                    $if(subtitle)$  | 
                            
| ... | ... | 
                                    @@ -70,22 +82,10 @@ $if(date)$  | 
                            
| 70 | 82 | 
                                    <p class="date">$date$</p>  | 
                            
| 71 | 83 | 
                                    $endif$  | 
                            
| 72 | 84 | 
                                    </header>  | 
                            
| 73 | 
                                    -</div>  | 
                            |
| 74 | 
                                    -$endif$  | 
                            |
| 75 | 
                                    -  | 
                            |
| 76 | 
                                    -<div class="container">  | 
                            |
| 77 | 
                                    -<div class="row">  | 
                            |
| 78 | 
                                    -  | 
                            |
| 79 | 
                                    -$if(toc)$  | 
                            |
| 80 | 
                                    -<div class="col-auto">  | 
                            |
| 81 | 
                                    -<nav id="$idprefix$TOC">  | 
                            |
| 82 | 
                                    -$toc$  | 
                            |
| 83 | 
                                    -</nav>  | 
                            |
| 84 | 
                                    -</div>  | 
                            |
| 85 | 85 | 
                                    $endif$  | 
                            
| 86 | 86 | 
                                     | 
                            
| 87 | 
                                    -<div class="col">  | 
                            |
| 88 | 87 | 
                                    $body$  | 
                            
| 88 | 
                                    +  | 
                            |
| 89 | 89 | 
                                    </div>  | 
                            
| 90 | 90 | 
                                     | 
                            
| 91 | 91 | 
                                    </div>  | 
                            
| ... | ... | 
                                    @@ -73,18 +73,24 @@ $endif$  | 
                            
| 73 | 73 | 
                                    </div>  | 
                            
| 74 | 74 | 
                                    $endif$  | 
                            
| 75 | 75 | 
                                     | 
                            
| 76 | 
                                    -$if(toc)$  | 
                            |
| 77 | 76 | 
                                    <div class="container">  | 
                            
| 77 | 
                                    +<div class="row">  | 
                            |
| 78 | 
                                    +  | 
                            |
| 79 | 
                                    +$if(toc)$  | 
                            |
| 80 | 
                                    +<div class="col-auto">  | 
                            |
| 78 | 81 | 
                                    <nav id="$idprefix$TOC">  | 
                            
| 79 | 82 | 
                                    $toc$  | 
                            
| 80 | 83 | 
                                    </nav>  | 
                            
| 81 | 84 | 
                                    </div>  | 
                            
| 82 | 85 | 
                                    $endif$  | 
                            
| 83 | 86 | 
                                     | 
                            
| 84 | 
                                    -<div class="container">  | 
                            |
| 87 | 
                                    +<div class="col">  | 
                            |
| 85 | 88 | 
                                    $body$  | 
                            
| 86 | 89 | 
                                    </div>  | 
                            
| 87 | 90 | 
                                     | 
                            
| 91 | 
                                    +</div>  | 
                            |
| 92 | 
                                    +</div>  | 
                            |
| 93 | 
                                    +  | 
                            |
| 88 | 94 | 
                                    $for(include-after)$  | 
                            
| 89 | 95 | 
                                    <div class="container">  | 
                            
| 90 | 96 | 
                                    $include-after$  | 
                            
| ... | ... | 
                                    @@ -51,10 +51,13 @@ $endfor$  | 
                            
| 51 | 51 | 
                                    <body>  | 
                            
| 52 | 52 | 
                                     | 
                            
| 53 | 53 | 
                                    $for(include-before)$  | 
                            
| 54 | 
                                    +<div class="container">  | 
                            |
| 54 | 55 | 
                                    $include-before$  | 
                            
| 56 | 
                                    +</div>  | 
                            |
| 55 | 57 | 
                                    $endfor$  | 
                            
| 56 | 58 | 
                                     | 
                            
| 57 | 59 | 
                                    $if(title)$  | 
                            
| 60 | 
                                    +<div class="container">  | 
                            |
| 58 | 61 | 
                                    <header>  | 
                            
| 59 | 62 | 
                                    <h1 class="title">$title$</h1>  | 
                            
| 60 | 63 | 
                                    $if(subtitle)$  | 
                            
| ... | ... | 
                                    @@ -67,18 +70,25 @@ $if(date)$  | 
                            
| 67 | 70 | 
                                    <p class="date">$date$</p>  | 
                            
| 68 | 71 | 
                                    $endif$  | 
                            
| 69 | 72 | 
                                    </header>  | 
                            
| 73 | 
                                    +</div>  | 
                            |
| 70 | 74 | 
                                    $endif$  | 
                            
| 71 | 75 | 
                                     | 
                            
| 72 | 76 | 
                                    $if(toc)$  | 
                            
| 77 | 
                                    +<div class="container">  | 
                            |
| 73 | 78 | 
                                    <nav id="$idprefix$TOC">  | 
                            
| 74 | 79 | 
                                    $toc$  | 
                            
| 75 | 80 | 
                                    </nav>  | 
                            
| 81 | 
                                    +</div>  | 
                            |
| 76 | 82 | 
                                    $endif$  | 
                            
| 77 | 83 | 
                                     | 
                            
| 84 | 
                                    +<div class="container">  | 
                            |
| 78 | 85 | 
                                    $body$  | 
                            
| 86 | 
                                    +</div>  | 
                            |
| 79 | 87 | 
                                     | 
                            
| 80 | 88 | 
                                    $for(include-after)$  | 
                            
| 89 | 
                                    +<div class="container">  | 
                            |
| 81 | 90 | 
                                    $include-after$  | 
                            
| 91 | 
                                    +</div>  | 
                            |
| 82 | 92 | 
                                    $endfor$  | 
                            
| 83 | 93 | 
                                     | 
                            
| 84 | 94 | 
                                    <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>  | 
                            
| ... | ... | 
                                    @@ -84,6 +84,9 @@ $endfor$  | 
                            
| 84 | 84 | 
                                    <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>  | 
                            
| 85 | 85 | 
                                    <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>  | 
                            
| 86 | 86 | 
                                    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            
| 87 | 
                                    +<script>  | 
                            |
| 88 | 
                                    +  $$('table').addClass("table");
                                 | 
                            |
| 89 | 
                                    +</script>  | 
                            |
| 87 | 90 | 
                                     | 
                            
| 88 | 91 | 
                                    </body>  | 
                            
| 89 | 92 | 
                                    </html>  | 
                            
See <https://getbootstrap.com/docs/4.3/getting-started/introduction/#starter-template>.
| ... | ... | 
                                    @@ -4,7 +4,7 @@  | 
                            
| 4 | 4 | 
                                     | 
                            
| 5 | 5 | 
                                    <meta charset="utf-8">  | 
                            
| 6 | 6 | 
                                    <meta name="generator" content="pandoc">  | 
                            
| 7 | 
                                    - <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">  | 
                            |
| 7 | 
                                    + <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes, shrink-to-fit=no">  | 
                            |
| 8 | 8 | 
                                    $for(author-meta)$  | 
                            
| 9 | 9 | 
                                    <meta name="author" content="$author-meta$">  | 
                            
| 10 | 10 | 
                                    $endfor$  | 
                            
| ... | ... | 
                                    @@ -21,6 +21,7 @@ $endif$  | 
                            
| 21 | 21 | 
                                     | 
                            
| 22 | 22 | 
                                    <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>  | 
                            
| 23 | 23 | 
                                     | 
                            
| 24 | 
                                    + <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">  | 
                            |
| 24 | 25 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 25 | 26 | 
                                    $if(quotes)$  | 
                            
| 26 | 27 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -80,5 +81,9 @@ $for(include-after)$  | 
                            
| 80 | 81 | 
                                    $include-after$  | 
                            
| 81 | 82 | 
                                    $endfor$  | 
                            
| 82 | 83 | 
                                     | 
                            
| 84 | 
                                    +<script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>  | 
                            |
| 85 | 
                                    +<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>  | 
                            |
| 86 | 
                                    +<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>  | 
                            |
| 87 | 
                                    +  | 
                            |
| 83 | 88 | 
                                    </body>  | 
                            
| 84 | 89 | 
                                    </html>  | 
                            
| ... | ... | 
                                    @@ -15,6 +15,10 @@ $if(keywords)$  | 
                            
| 15 | 15 | 
                                    <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$">  | 
                            
| 16 | 16 | 
                                    $endif$  | 
                            
| 17 | 17 | 
                                     | 
                            
| 18 | 
                                    + <link rel="icon" type="image/svg+xml" href="/favicon.svg" />  | 
                            |
| 19 | 
                                    + <link rel="icon" type="image/png" href="/favicon.png" />  | 
                            |
| 20 | 
                                    + <link rel="icon" type="image/x-icon" href="/favicon.ico" />  | 
                            |
| 21 | 
                                    +  | 
                            |
| 18 | 22 | 
                                    <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>  | 
                            
| 19 | 23 | 
                                     | 
                            
| 20 | 24 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| ... | ... | 
                                    @@ -1,6 +1,7 @@  | 
                            
| 1 | 1 | 
                                    <!DOCTYPE html>  | 
                            
| 2 | 2 | 
                                    <html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$>  | 
                            
| 3 | 3 | 
                                    <head>  | 
                            
| 4 | 
                                    +  | 
                            |
| 4 | 5 | 
                                    <meta charset="utf-8">  | 
                            
| 5 | 6 | 
                                    <meta name="generator" content="pandoc">  | 
                            
| 6 | 7 | 
                                    <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">  | 
                            
| ... | ... | 
                                    @@ -13,7 +14,9 @@ $endif$  | 
                            
| 13 | 14 | 
                                    $if(keywords)$  | 
                            
| 14 | 15 | 
                                    <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$">  | 
                            
| 15 | 16 | 
                                    $endif$  | 
                            
| 17 | 
                                    +  | 
                            |
| 16 | 18 | 
                                    <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>  | 
                            
| 19 | 
                                    +  | 
                            |
| 17 | 20 | 
                                       <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            
| 18 | 21 | 
                                    $if(quotes)$  | 
                            
| 19 | 22 | 
                                       <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            
| ... | ... | 
                                    @@ -26,20 +29,26 @@ $endif$  | 
                            
| 26 | 29 | 
                                    $for(css)$  | 
                            
| 27 | 30 | 
                                    <link rel="stylesheet" href="$css$">  | 
                            
| 28 | 31 | 
                                    $endfor$  | 
                            
| 32 | 
                                    +  | 
                            |
| 29 | 33 | 
                                    $if(math)$  | 
                            
| 30 | 34 | 
                                    $math$  | 
                            
| 31 | 35 | 
                                    $endif$  | 
                            
| 36 | 
                                    +  | 
                            |
| 32 | 37 | 
                                    <!--[if lt IE 9]>  | 
                            
| 33 | 38 | 
                                    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>  | 
                            
| 34 | 39 | 
                                    <![endif]-->  | 
                            
| 40 | 
                                    +  | 
                            |
| 35 | 41 | 
                                    $for(header-includes)$  | 
                            
| 36 | 42 | 
                                    $header-includes$  | 
                            
| 37 | 43 | 
                                    $endfor$  | 
                            
| 44 | 
                                    +  | 
                            |
| 38 | 45 | 
                                    </head>  | 
                            
| 39 | 46 | 
                                    <body>  | 
                            
| 47 | 
                                    +  | 
                            |
| 40 | 48 | 
                                    $for(include-before)$  | 
                            
| 41 | 49 | 
                                    $include-before$  | 
                            
| 42 | 50 | 
                                    $endfor$  | 
                            
| 51 | 
                                    +  | 
                            |
| 43 | 52 | 
                                    $if(title)$  | 
                            
| 44 | 53 | 
                                    <header>  | 
                            
| 45 | 54 | 
                                    <h1 class="title">$title$</h1>  | 
                            
| ... | ... | 
                                    @@ -54,14 +63,18 @@ $if(date)$  | 
                            
| 54 | 63 | 
                                    $endif$  | 
                            
| 55 | 64 | 
                                    </header>  | 
                            
| 56 | 65 | 
                                    $endif$  | 
                            
| 66 | 
                                    +  | 
                            |
| 57 | 67 | 
                                    $if(toc)$  | 
                            
| 58 | 68 | 
                                    <nav id="$idprefix$TOC">  | 
                            
| 59 | 69 | 
                                    $toc$  | 
                            
| 60 | 70 | 
                                    </nav>  | 
                            
| 61 | 71 | 
                                    $endif$  | 
                            
| 72 | 
                                    +  | 
                            |
| 62 | 73 | 
                                    $body$  | 
                            
| 74 | 
                                    +  | 
                            |
| 63 | 75 | 
                                    $for(include-after)$  | 
                            
| 64 | 76 | 
                                    $include-after$  | 
                            
| 65 | 77 | 
                                    $endfor$  | 
                            
| 78 | 
                                    +  | 
                            |
| 66 | 79 | 
                                    </body>  | 
                            
| 67 | 80 | 
                                    </html>  | 
                            
Generated with `pandoc -D html5`.
| 1 | 1 | 
                                    new file mode 100644  | 
                            
| ... | ... | 
                                    @@ -0,0 +1,67 @@  | 
                            
| 1 | 
                                    +<!DOCTYPE html>  | 
                            |
| 2 | 
                                    +<html$if(lang)$ lang="$lang$"$endif$$if(dir)$ dir="$dir$"$endif$>  | 
                            |
| 3 | 
                                    +<head>  | 
                            |
| 4 | 
                                    + <meta charset="utf-8">  | 
                            |
| 5 | 
                                    + <meta name="generator" content="pandoc">  | 
                            |
| 6 | 
                                    + <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">  | 
                            |
| 7 | 
                                    +$for(author-meta)$  | 
                            |
| 8 | 
                                    + <meta name="author" content="$author-meta$">  | 
                            |
| 9 | 
                                    +$endfor$  | 
                            |
| 10 | 
                                    +$if(date-meta)$  | 
                            |
| 11 | 
                                    + <meta name="dcterms.date" content="$date-meta$">  | 
                            |
| 12 | 
                                    +$endif$  | 
                            |
| 13 | 
                                    +$if(keywords)$  | 
                            |
| 14 | 
                                    + <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$">  | 
                            |
| 15 | 
                                    +$endif$  | 
                            |
| 16 | 
                                    + <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>  | 
                            |
| 17 | 
                                    +  <style type="text/css">code{white-space: pre;}</style>
                                 | 
                            |
| 18 | 
                                    +$if(quotes)$  | 
                            |
| 19 | 
                                    +  <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
                                 | 
                            |
| 20 | 
                                    +$endif$  | 
                            |
| 21 | 
                                    +$if(highlighting-css)$  | 
                            |
| 22 | 
                                    + <style type="text/css">  | 
                            |
| 23 | 
                                    +$highlighting-css$  | 
                            |
| 24 | 
                                    + </style>  | 
                            |
| 25 | 
                                    +$endif$  | 
                            |
| 26 | 
                                    +$for(css)$  | 
                            |
| 27 | 
                                    + <link rel="stylesheet" href="$css$">  | 
                            |
| 28 | 
                                    +$endfor$  | 
                            |
| 29 | 
                                    +$if(math)$  | 
                            |
| 30 | 
                                    + $math$  | 
                            |
| 31 | 
                                    +$endif$  | 
                            |
| 32 | 
                                    + <!--[if lt IE 9]>  | 
                            |
| 33 | 
                                    + <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>  | 
                            |
| 34 | 
                                    + <![endif]-->  | 
                            |
| 35 | 
                                    +$for(header-includes)$  | 
                            |
| 36 | 
                                    + $header-includes$  | 
                            |
| 37 | 
                                    +$endfor$  | 
                            |
| 38 | 
                                    +</head>  | 
                            |
| 39 | 
                                    +<body>  | 
                            |
| 40 | 
                                    +$for(include-before)$  | 
                            |
| 41 | 
                                    +$include-before$  | 
                            |
| 42 | 
                                    +$endfor$  | 
                            |
| 43 | 
                                    +$if(title)$  | 
                            |
| 44 | 
                                    +<header>  | 
                            |
| 45 | 
                                    +<h1 class="title">$title$</h1>  | 
                            |
| 46 | 
                                    +$if(subtitle)$  | 
                            |
| 47 | 
                                    +<p class="subtitle">$subtitle$</p>  | 
                            |
| 48 | 
                                    +$endif$  | 
                            |
| 49 | 
                                    +$for(author)$  | 
                            |
| 50 | 
                                    +<p class="author">$author$</p>  | 
                            |
| 51 | 
                                    +$endfor$  | 
                            |
| 52 | 
                                    +$if(date)$  | 
                            |
| 53 | 
                                    +<p class="date">$date$</p>  | 
                            |
| 54 | 
                                    +$endif$  | 
                            |
| 55 | 
                                    +</header>  | 
                            |
| 56 | 
                                    +$endif$  | 
                            |
| 57 | 
                                    +$if(toc)$  | 
                            |
| 58 | 
                                    +<nav id="$idprefix$TOC">  | 
                            |
| 59 | 
                                    +$toc$  | 
                            |
| 60 | 
                                    +</nav>  | 
                            |
| 61 | 
                                    +$endif$  | 
                            |
| 62 | 
                                    +$body$  | 
                            |
| 63 | 
                                    +$for(include-after)$  | 
                            |
| 64 | 
                                    +$include-after$  | 
                            |
| 65 | 
                                    +$endfor$  | 
                            |
| 66 | 
                                    +</body>  | 
                            |
| 67 | 
                                    +</html>  |