diff options
| author | Peter LaFosse <peter@vector35.com> | 2018-08-29 15:26:00 -0400 |
|---|---|---|
| committer | Peter LaFosse <peter@vector35.com> | 2018-08-31 14:21:07 -0400 |
| commit | f0ccb75e7d80a6c0ae8b01d794b929f03bc6ea6d (patch) | |
| tree | 7569fe7689062b265329ad0f649705aa8caab922 /mkdocs-material/src/nav.html | |
| parent | a6b801afadada75afd2b1779edee8d203f3b3140 (diff) | |
| parent | 426bb3d8b47b93658bf969c429a8b98adae13c30 (diff) | |
Merging with dev
Diffstat (limited to 'mkdocs-material/src/nav.html')
| -rw-r--r-- | mkdocs-material/src/nav.html | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/mkdocs-material/src/nav.html b/mkdocs-material/src/nav.html deleted file mode 100644 index 1d70b9fc..00000000 --- a/mkdocs-material/src/nav.html +++ /dev/null @@ -1,51 +0,0 @@ -<!-- Render sections --> -{% if nav_item.children %} - <li> - <span class="section">{{ nav_item.title }}</span> - <ul> - - <!-- Render pages of section --> - {% for nav_item in nav_item.children %} - {% include "nav.html" %} - {% endfor %} - </ul> - </li> - -<!-- Render page link --> -{% else %} - <li> - <a class="{% if nav_item.active %}current{% endif %}" - title="{{ nav_item.title }}" href="{{ nav_item.url }}" > - {{ nav_item.title }} - </a> - - <!-- Expand active pages --> - {% if nav_item == current_page %} - - <!-- - The top-level anchor must be skipped if the article contains a h1 - headline, since it would be redundant to the link to the current page - that is located just above the anchor. Therefore we directly continue - with the children of the anchor. - --> - {% if h1 %} - {% set toc = (toc | first).children %} - {% endif %} - - <!-- Render anchors of active page --> - {% if toc and (toc | first) %} - <ul> - {% for toc_item in toc %} - - <!-- Render anchor --> - <li class="anchor"> - <a title="{{ toc_item.title }}" href="{{ toc_item.url }}"> - {{ toc_item.title }} - </a> - </li> - {% endfor %} - </ul> - {% endif %} - {% endif %} - </li> -{% endif %}
\ No newline at end of file |
