Add anchor links to headers

This commit is contained in:
Francis Lavoie 2020-02-26 14:47:13 -05:00
parent d1997764cf
commit 7f84c70b82
No known key found for this signature in database
GPG key ID: 7D1A27F0725BE5D8
3 changed files with 13 additions and 0 deletions

View file

@ -1,4 +1,5 @@
{{include "/includes/head.html"}} {{include "/includes/head.html"}}
<link rel="stylesheet" href="/resources/css/docs.css"> <link rel="stylesheet" href="/resources/css/docs.css">
<script src="/resources/js/jquery-3.4.1.min.js"></script> <script src="/resources/js/jquery-3.4.1.min.js"></script>
<script src="/resources/js/anchor.min.js"></script>
<script src="/resources/js/docs.js"></script> <script src="/resources/js/docs.js"></script>

9
src/resources/js/anchor.min.js vendored Normal file

File diff suppressed because one or more lines are too long

View file

@ -12,4 +12,7 @@ $(function() {
$currentPageLink = $('main nav a[href="/docs/json/"]'); $currentPageLink = $('main nav a[href="/docs/json/"]');
} }
$currentPageLink.addClass('current'); $currentPageLink.addClass('current');
// Enable anchor links using https://github.com/bryanbraun/anchorjs
anchors.add();
}); });