From 1795141aecfb3a57b9bd5fdfdd56e18ce069a5ba Mon Sep 17 00:00:00 2001
From: Dave Page <dpage@pgadmin.org>
Date: Thu, 22 Aug 2019 15:11:51 +0100
Subject: [PATCH] Minor doc styling tweaks.

---
 docs/en_US/theme/pgadmin4/static/style.css | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/docs/en_US/theme/pgadmin4/static/style.css b/docs/en_US/theme/pgadmin4/static/style.css
index f41e42b3d..009696f3c 100755
--- a/docs/en_US/theme/pgadmin4/static/style.css
+++ b/docs/en_US/theme/pgadmin4/static/style.css
@@ -47,15 +47,15 @@ a:hover {
 }
 
 div.body dd, div.body blockquote {
-    line-height: 1.8em;
+    line-height: 1.4em;
 }
 
 div.body p{
-    line-height: 1.8em;
+    line-height: 1.4em;
 }
 
 div.body ul li{
-    line-height: 1.8em;
+    line-height: 1.4em;
 }
 
 div.body p strong{
@@ -66,10 +66,6 @@ div.body li em, div.body p em{
     font-weight: 400;
 }
 
-div.toctree-wrapper ul li.toctree-l1{
-    list-style: none;
-}
-
 div.toctree-wrapper ul li.toctree-l1 a cite{
     font-weight: 500;
     font-style: normal;
@@ -262,7 +258,7 @@ div.sphinxsidebar form div:first-child{
 }
 
 div.sphinxsidebar {
-    line-height: 1.4rem;
+    line-height: 1.2rem;
     font-size: 0.85rem;
     color: #858da0;
     background-color: #ebeef3;