Top nav: dropdown shapes & contents

2025-11-19 19:25:51 +00:00 · 2021-06-17 16:38:16 -07:00
parent 1118d8d978
commit acd2a2e624
11 changed files with 77 additions and 14 deletions
--- a/template/pagetype-doc.html.jinja
+++ b/template/pagetype-doc.html.jinja
@@ -30,6 +30,7 @@
 {% endblock %}

 {% block right_sidebar %}
+  {% include 'component-github-edit.html.jinja' %}
  <div id="page-toc-wrapper">
    {% include 'component-label-list.html.jinja' %}
    <div class="toc-header">