From c8621236d2119cec7e4199a854282e76d2191b36 Mon Sep 17 00:00:00 2001
From: gijsio <67470426+gijsio@users.noreply.github.com>
Date: Thu, 23 Jul 2020 12:30:47 +0200
Subject: [PATCH] fixed code style (Added padding) to single codepieces

---
 themes/doc-theme/static/css/doc-theme.css | 6 ++++--
 themes/doc-theme/static/css/vuetify.css   | 7 +++++++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css
index 16176b6..79a1a4d 100644
--- a/themes/doc-theme/static/css/doc-theme.css
+++ b/themes/doc-theme/static/css/doc-theme.css
@@ -318,9 +318,11 @@ pre > code {
   margin-top: 4px;
   margin-bottom: 12px;
 }
-
+/* changes 23-07-2020:
+  removed padding here, added in vuetify.css
+  */
 code {
-    padding: 1px;
+    /*padding: 1px;*/
     background-color: #EEEEEE;
 }
 
diff --git a/themes/doc-theme/static/css/vuetify.css b/themes/doc-theme/static/css/vuetify.css
index 187be55..8f62c96 100644
--- a/themes/doc-theme/static/css/vuetify.css
+++ b/themes/doc-theme/static/css/vuetify.css
@@ -2758,9 +2758,15 @@ blockquote {
   border-radius: 3px;
   margin-bottom: 5px;  
 }
+/* changes 22-07-2020:
+removed bottom margin from quoteblocks
+*/
 blockquote > p {
   margin-bottom:0px;
 }
+/*changes 23-07-2020:
+  Added padding 
+  */
 code,
 kbd {
   display: inline-block;
@@ -2768,6 +2774,7 @@ kbd {
   white-space: pre-wrap;
   font-size: 85%;
   font-weight: 900;
+  padding: 1px 4px 1px 4px;
 }
 
 /* changes 09-07-2020: