diff --git a/docs/_includes/head_custom.html b/docs/_includes/head_custom.html new file mode 100644 index 000000000..cb5c27e3c --- /dev/null +++ b/docs/_includes/head_custom.html @@ -0,0 +1,2 @@ + \ No newline at end of file diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html new file mode 100644 index 000000000..24ab22b13 --- /dev/null +++ b/docs/_layouts/default.html @@ -0,0 +1,125 @@ +--- +layout: table_wrappers +--- + + + + +{% include head.html %} + + + Fork me on GitHub + + + Link + + + + + +
+
+
+ {% include title.html %} + +
+ +
+ {% include nav.html %} +
+
+

This site uses Just the Docs, a documentation theme for + Jekyll.

+
+
+
+
+
+ {% if site.search_enabled != false %} +
+
+ + + Search + + + + + +
+
+
+ {% endif %} + {% if site.aux_links != nil %} + + {% endif %} +
+
+ {% unless page.url == "/" %} + {% if page.parent %} + + {% endif %} + {% endunless %} +
+ {% if site.heading_anchors != false %} + {% include vendor/anchor_headings.html html=content beforeHeading="true" anchorBody="" anchorClass="anchor-heading" %} + {% else %} + {{ content }} + {% endif %} + + {% if page.has_children == true and page.has_toc != false %} +
+

Table of contents

+ {% assign children_list = site.pages | sort:"nav_order" %} +
    + {% for child in children_list %} + {% if child.parent == page.title and child.title != page.title %} +
  • + {{ child.title }}{% if child.summary %} - + {{ child.summary }}{% endif %} +
    • + {% endif %} + {% endfor %} +
+ {% endif %} + + {% if site.footer_content != nil %} +
+ + {% endif %} + +
+
+
+
+ + + + \ No newline at end of file