Automatically add deep anchor links using AnchorJS

Author: maxim-belkin

_includes/javascript.html

@@ -4,6 +4,7 @@
 <script src="{{ relative_root_path }}/assets/js/jquery.min.js"></script>
 <script src="{{ relative_root_path }}/assets/js/bootstrap.min.js"></script>
 <script src="{{ relative_root_path }}/assets/js/lesson.js"></script>
+
 <script>
   (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
   (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
@@ -12,6 +13,7 @@
   ga('create', 'UA-37305346-2', 'auto');
   ga('send', 'pageview');
 </script>
+
 {% if page.math %}
 <script src="{{ relative_root_path }}/assets/js/katex.min.js"></script>
 <script>
@@ -28,3 +30,13 @@
 <script src="{{ relative_root_path }}/assets/js/katex-auto-render.min.js" onload="renderMathInElement(document.body, options)"></script>
 {% endif %}
 
+{%- comment -%}
+AnchorJS: A JavaScript utility for adding deep anchor links
+https://github.com/bryanbraun/anchorjs
+https://cdn.jsdelivr.net/npm/anchor-js/anchor.min.js
+{%- endcomment -%}
+
+<script src="{{ relative_root_path }}/assets/js/anchor.min.js"></script>
+<script>
+    anchors.add();
+</script>