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 deletions(-) delete mode 100644 docs/theme/base.html (limited to 'docs/theme/base.html') diff --git a/docs/theme/base.html b/docs/theme/base.html deleted file mode 100644 index 4ca6cd81..00000000 --- a/docs/theme/base.html +++ /dev/null @@ -1,160 +0,0 @@ - - - - - {{ 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