{% if page.description %}
{% endif %}
{% comment %}
DataTables JavaScript sortable tables.
https://github.com/DataTables/DataTables
{% endcomment %}
{% comment %}
bootstrap has good basic font settings tha make browsers uniform.
https://github.com/twbs/bootstrap
Not using the JS if we can avoid it:
{% endcomment %}
{% comment %}
font awesome for font icons like the Stack Overflow icon for the navbar.
https://github.com/FortAwesome/Font-Awesome
{% endcomment %}
{% comment %}
Custom styles and scripts. Come at end to use and override libraries.
TODO: move main.js to bottom of page.
{% endcomment %}
{{ site.name }}
{% comment %}
Was added recently https://github.com/FortAwesome/Font-Awesome/issues/11562 but I tried to update the CSS
and it obviously broke everything. I'm going to do just a single page with a huge TOC one day.
{% endcomment %}
{{ page.title }}
{% if page.description %}
{{ page.description }}
{% endif %}
{{ content }}
{% comment %}Scripts.{% endcomment %}
{% comment %}
jQuery
Must come *before* all its many dependencies. We should try to get rid of it.
https://github.com/jquery/jquery
{% endcomment %}
{% comment %}DataTables.{% endcomment %}
{% comment %}MathJax.{% endcomment %}