From 8bce681421d9f11d570c1182d62156b2e5a083cd Mon Sep 17 00:00:00 2001 From: fzaninotto Date: Fri, 2 Dec 2022 17:11:18 +0100 Subject: [PATCH 1/5] [Doc] Show nav sidebar on main navigation page --- docs/_layouts/default.html | 9 +++---- docs/css/{style-v12.css => style-v13.css} | 1 + docs/documentation.html | 31 ++++++++++++++++------- docs/navigation.html | 16 ++++++++---- 4 files changed, 37 insertions(+), 20 deletions(-) rename docs/css/{style-v12.css => style-v13.css} (99%) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index e6b189c2d93..d22568d8031 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -20,7 +20,7 @@ /> @@ -111,11 +111,8 @@ }); - {% if page.dir contains "doc" %} - {% assign version = page.dir | split: '/' | last %} - {% else %} - {% assign version = "latest" %} - {% endif %} + {% if page.dir contains "doc" %} {% assign version = page.dir | split: + '/' | last %} {% else %} {% assign version = "latest" %} {% endif %} - {% if page.dir contains "doc" %} - {% assign version = page.dir | split: '/' | last %} - {% else %} - {% assign version = "latest" %} - {% endif %} + {% if page.dir contains "doc" %} {% assign version = page.dir | split: + '/' | last %} {% else %} {% assign version = "latest" %} {% endif %} - + + + {% if page.dir contains "doc" %} {% assign version = page.dir | split: '/' | last %} {% else %} {% assign version = "latest" %} {% endif %} @@ -122,10 +94,7 @@ searchParameters: { facetFilters: ['version: {{ version }}'] }, }); - +