{% comment %} JavaScript used in lesson and workshop pages. {% endcomment %} {% if site.kind == "lesson" %} {% endif %} {% if page.math %} {% 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 -%}