diff options
| author |   GitHub Action <action@github.com> | 2023-12-15 01:18:57 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-12-15 01:18:57 +0000 |
| commit | c15103048d22c8e3171c8965b8cf15ca99494086 (patch) | |
| tree | 3576617cfc27334b2dc211729255373b088516e1 /dev/src/material/templates/partials/toc.html | |
| parent | 0e73ad5a4b2c6d0fd919fe3ed06d2c2ef9e2d12a (diff) | |
| download | infini-c15103048d22c8e3171c8965b8cf15ca99494086.tar.gz infini-c15103048d22c8e3171c8965b8cf15ca99494086.zip | |
Deployed efb0730e to dev with MkDocs 1.5.3 and mike 2.0.0
Diffstat (limited to 'dev/src/material/templates/partials/toc.html')
| -rw-r--r-- | dev/src/material/templates/partials/toc.html | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev/src/material/templates/partials/toc.html b/dev/src/material/templates/partials/toc.html new file mode 100644 index 00000000..aeeb3acb --- /dev/null +++ b/dev/src/material/templates/partials/toc.html @@ -0,0 +1,25 @@ +{#- + This file was automatically generated - do not edit +-#} +{% set title = lang.t("toc") %} +{% if config.mdx_configs.toc and config.mdx_configs.toc.title %} + {% set title = config.mdx_configs.toc.title %} +{% endif %} +<nav class="md-nav md-nav--secondary" aria-label="{{ title }}"> + {% set toc = page.toc %} + {% set first = toc | first %} + {% if first and first.level == 1 %} + {% set toc = first.children %} + {% endif %} + {% if toc %} + <label class="md-nav__title" for="__toc"> + <span class="md-nav__icon md-icon"></span> + {{ title }} + </label> + <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix> + {% for toc_item in toc %} + {% include "partials/toc-item.html" %} + {% endfor %} + </ul> + {% endif %} +</nav> |