From 945eb4a8bfbe6f26a881e4ff498180353688e7f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Michaud?= Date: Thu, 4 Jun 2020 05:37:19 +0200 Subject: [PATCH] [DOCS] Add fork me on github ribbon to documentation. (#1081) Co-authored-by: Amir Zarrinkafsh --- docs/_includes/head_custom.html | 2 + docs/_layouts/default.html | 125 ++++++++++++++++++++++++++++++++ 2 files changed, 127 insertions(+) create mode 100644 docs/_includes/head_custom.html create mode 100644 docs/_layouts/default.html diff --git a/docs/_includes/head_custom.html b/docs/_includes/head_custom.html new file mode 100644 index 00000000..cb5c27e3 --- /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 00000000..24ab22b1 --- /dev/null +++ b/docs/_layouts/default.html @@ -0,0 +1,125 @@ +--- +layout: table_wrappers +--- + + + + +{% include head.html %} + + + Fork me on GitHub + + + Link + + + + + +
+ +
+
+ +
+ {% 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