{% if repo_name == 'GitHub' %}
{% set repo_id = repo_url | replace('https://github.com/', '') %}
{% endif %}
{% for nav_item in nav %}
{% include "toc.html" %}
{% endfor %}
{% if config.extra.author.twitter or config.extra.author.github %}
-
The author
{% endif %}