From 697ffd8d73a7cd9a885df73918c38750d5fd4757 Mon Sep 17 00:00:00 2001 From: Amir Zarrinkafsh Date: Mon, 29 Jun 2020 11:20:38 +1000 Subject: [PATCH] [DOCS] Fix just-the-docs theme styling (#1159) This fixes a minor regression due to #1158. As there was significant styling changes and due to our introduction of the github fork ribbon for the docs the layout also needed to be updated. --- docs/_layouts/default.html | 250 ++++++++++++++++++++++--------------- 1 file changed, 148 insertions(+), 102 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 51741ed7..a5612286 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -4,122 +4,168 @@ layout: table_wrappers - + {% include head.html %} - Fork me on GitHub - + Link - - + + + + + + Search + + + + + + Menu + + + + + + Expand + + + + + + Document + + + -
-
-
- {% include title.html %} - -
- -
- {% include nav.html %} -
-
-

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

-
+
+
+ {% include title.html %} + + +
-
-
-
- {% if site.search_enabled != false %} -
-
- - - Search - - - - - -
-
+ +
+ This site uses Just the Docs, a documentation theme for Jekyll. +
+
+
+
+ {% if site.search_enabled != false %} +
+
+ + +
+
+
+ {% endif %} + {% if site.aux_links %} + + {% 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 = pages_list | where: "parent", page.title | where: "grand_parent", page.parent -%} + {% for child in children_list %} +
  • + {{ child.title }}{% if child.summary %} - {{ child.summary }}{% endif %} +
    • + {% endfor %} +
+ {% endif %} + + {% if site.footer_content != nil or site.last_edit_timestamp or site.gh_edit_link %} +
+
+ {% if site.back_to_top %} +

{{ site.back_to_top_text }}

+ {% endif %} + {% if site.footer_content != nil %} +

{{ site.footer_content }}

+ {% endif %} + + {% if site.last_edit_timestamp or site.gh_edit_link %} +
+ {% if site.last_edit_timestamp and site.last_edit_time_format and page.last_modified_date %} +

+ Page last modified: {{ page.last_modified_date | date: site.last_edit_time_format }}. +

+ {% endif %} + {% if + site.gh_edit_link and + site.gh_edit_link_text and + site.gh_edit_repository and + site.gh_edit_branch and + site.gh_edit_view_mode + %} +

+ {{ site.gh_edit_link_text }} +

+ {% endif %}
{% 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 %} + + {% 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 %} -
-
-

{{ site.footer_content }}

-
- {% endif %} - -
-
+ {% if site.search_enabled != false %} + {% if site.search.button %} + + + + {% endif %} + +
+ {% endif %} +
- - + \ No newline at end of file