From 9d659a7783f6688d5483014e0644ab65e4cdac0a Mon Sep 17 00:00:00 2001
From: gijsio <67470426+gijsio@users.noreply.github.com>
Date: Fri, 24 Jul 2020 11:57:13 +0200
Subject: [PATCH] updated list margin bottom

---
 themes/doc-theme/static/css/doc-theme.css | 6 +++++-
 themes/doc-theme/static/css/vuetify.css   | 4 ++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css
index 79a1a4d..509acd6 100644
--- a/themes/doc-theme/static/css/doc-theme.css
+++ b/themes/doc-theme/static/css/doc-theme.css
@@ -129,9 +129,13 @@ a.bread:hover {
 .theme--dark.v-navigation-drawer:not(.v-navigation-drawer--floating) .v-navigation-drawer__border {
     background-color: transparent;
 }
-
+/* changes 24-07-2020:
+due to adding margin-bottom to ul and ol, 
+we need to remove it here
+*/
 ul.lefttree {
   margin-left: -8px;
+  margin-bottom: 0px;
 }
 
 a, li.lefttree > a {
diff --git a/themes/doc-theme/static/css/vuetify.css b/themes/doc-theme/static/css/vuetify.css
index 8f62c96..a6c5585 100644
--- a/themes/doc-theme/static/css/vuetify.css
+++ b/themes/doc-theme/static/css/vuetify.css
@@ -2816,9 +2816,13 @@ html {
 ::-ms-reveal {
   display: none;
 }
+/* changes 24-07-2020:
+added margin-bottom for ul and ol
+*/
 ul,
 ol {
   padding-left: 24px;
+  margin-bottom: 10px;
 }
 .display-4 {
   font-size: 112px !important;