| // Temporary (?) ToC generation, until we get markdown support for that |
| // using https://github.com/nghuuphuoc/tocjs |
| nav(class:"menu"){ |
| ul(class:"menu-list box is-shadowless is-paddingless"){ |
| li(id:"generatedToC") { |
| p(class:"menu-label") { |
| strong("Table of Contents") |
| } |
| } |
| } |
| } |
| yieldUnescaped "<script src='/res/jquery-3.2.1.min.js' type='text/javascript'></script>" |
| yieldUnescaped "<script src='/res/tocjs-1-1-2.js' type='text/javascript'></script>" |
| yieldUnescaped "<script type='text/javascript'>\$(document).ready(function() { \$('#generatedToC').toc({'selector':'h1[class!=title],h2,h3','ulClass':'menu-list'}); } );</script>" |
