Add dropdown options

2026-03-15 02:04:29 -07:00 · 2017-06-30 23:47:22 +01:00
parent 962c9224ad
commit 082d05c8df
6 changed files with 76 additions and 38 deletions
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -3,5 +3,6 @@
  {% include head.html %}
  <body class="layout-{{ page.layout }}{% if page.doc-tab %} page-{{ page.doc-tab}}{% endif %}">
    {{ content }}
+    <script type="text/javascript" src="{{ site.url }}/javascript/main.js"></script>
  </body>
 </html>