{% import "lib/githubLinks.html" as github -%}
{% extends 'layout/base.template.html' -%}
{% block body -%}
include {$ relativePath(doc.path, '_util-fns') $}
p.location-badge.
  defined in {$ github.githubViewLink(doc, versionInfo) $}

ul
  {% for page in doc.childPages -%}
  li
    - var name = "{$ page.title $}";
    - var url = "{$ relativePath(doc.moduleFolder, page.exportDoc.path) $}";
    include {$ relativePath(doc.path, '../../../_includes/_hover-card') $}
  {% endfor %}
{% endblock %}