---
layout: default
---
{% comment %}NOTE: page_id is also definied in default.html{% endcomment %}
{% assign page_id = page.url | split: '/' | last | remove: '.html' %}
{% unless page.toc == false %}
{% include toc.html %}
{% endunless %}
{% assign scrollnav = site.data.scrollnav[page_id] %}
{% if scrollnav %}
{% endif %}