From d72a56f37f59d0700d163b67d5af78fc545c91f7 Mon Sep 17 00:00:00 2001 From: Dougal Matthews Date: Fri, 31 Oct 2014 15:02:47 +0000 Subject: Move the docs theme out of the docs folder. --- docs_theme/base.html | 160 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 160 insertions(+) create mode 100644 docs_theme/base.html (limited to 'docs_theme/base.html') diff --git a/docs_theme/base.html b/docs_theme/base.html new file mode 100644 index 00000000..4ca6cd81 --- /dev/null +++ b/docs_theme/base.html @@ -0,0 +1,160 @@ + + + + + {{ page_title }} + + + + + + + + + + + + + + + + + + + {# TODO: This is a bit of a hack. We don't want to refer to the file specifically. #} + + +
+ + {% include "nav.html" %} + +
+
+ + + + +
+ +
+ +
+
    + {% for toc_item in toc %} +
  • {{ toc_item.title }}
    • + {% for toc_item in toc_item.children %} +
  • {{ toc_item.title }}
    • + {% endfor %} + {% endfor %} + + {# TODO: This is a bit of a hack. We don't want to refer to the file specifically. #} + {% if current_page.input_path == 'index.md' %} +
    +
    + +
    + {% endif %} + +
+ +
+
+ +
+ {{ content }} +
+
+
+
+ +
+
+ + + + + + + + + + + -- cgit v1.2.3