diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2020-02-09 04:05:32 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2020-02-09 04:05:32 +0300 |
| commit | e9ff19a95ade15eec77bfe3ae073cab5e5b62e7d (patch) | |
| tree | a497da8ab7f2e0a86a9182ae28a490d489ab36d9 /docs/_layouts | |
| parent | 93a2076a34265033cbde42a58f8f3d7bd60a6252 (diff) | |
| download | inter-e9ff19a95ade15eec77bfe3ae073cab5e5b62e7d.tar.xz | |
v3.12v3.12
Diffstat (limited to 'docs/_layouts')
| -rw-r--r-- | docs/_layouts/default.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 6b903fc75..865f3374a 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -85,9 +85,9 @@ endfor <li class="nav-home"><a href="{{url_root}}">Inter</a></li> <li class="nav-samples"><a href="{{url_root}}samples/" {% if page.url contains "/samples/" %}class="active"{% endif %}>Samples</a></li> <li class="nav-glyphs"><a href="{{url_root}}glyphs/" {% if page.url contains "/glyphs/" %}class="active"{% endif %}>Glyphs</a></li> - <li class="nav-dynmetrics"><a href="{{url_root}}dynmetrics/" {% if page.url contains "/dynmetrics/" %}class="active"{% endif %}>Dynamic Metrics</a></li> + <li class="nav-dynmetrics"><a href="{{url_root}}dynmetrics/" {% if page.url contains "/dynmetrics/" %}class="active"{% endif %}>Metrics</a></li> <li class="nav-lab"><a href="{{url_root}}lab/" {% if page.url contains "/lab/" %}class="active"{% endif %}>Lab</a></li> - <li class="nav-source"><a href="https://github.com/rsms/inter/">Source</a></li> + <!-- <li class="nav-source"><a href="https://github.com/rsms/inter/">Source</a></li> --> <li class="nav-download"><a href="{{ download_url }}">Download ↓</a></li> </ul> </div> |