diff options
author | Rasmus Andersson <rasmus@notion.se> | 2020-03-24 20:55:22 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2020-03-24 20:55:22 +0300 |
commit | 73fa001cd957675274fcac7acdd8efa0d756221b (patch) | |
tree | bafb3fd7f456b41aabab64bfe6ac115c212c8359 /docs/_layouts/default.html | |
parent | b8de6487c8da4809e5d093ee5af7d1f77a4c0a19 (diff) | |
parent | a8c558e7af3e55d69cdaed39a472bb6079b5b566 (diff) | |
download | inter-73fa001cd957675274fcac7acdd8efa0d756221b.tar.xz |
Merge branch 'master' into display-m
Diffstat (limited to 'docs/_layouts/default.html')
-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> |