{% 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 -%}