From 533aea11fdcb3a358add0ae4cbe41c97dac2cf2c Mon Sep 17 00:00:00 2001
From: Ondrej <o.jariabka@gmail.com>
Date: Mon, 12 Jun 2017 22:11:46 +0200
Subject: [PATCH] Added padding around gray box of ` markdown

Added padding of 1px from top and bottom and 5px from left and right
around gray box of single ` markdown.

Signed-off-by: Ondrej <o.jariabka@gmail.com>
---
 notebook/static/notebook/less/renderedhtml.less | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/notebook/static/notebook/less/renderedhtml.less b/notebook/static/notebook/less/renderedhtml.less
index 60e87eab3..7a465d707 100644
--- a/notebook/static/notebook/less/renderedhtml.less
+++ b/notebook/static/notebook/less/renderedhtml.less
@@ -46,10 +46,14 @@
 
     pre {
         margin: 1em 2em;
+        padding: 0px;
         background-color: @body-bg;
     }
 
-    code {background-color: #eff0f1;}
+    code {
+        background-color: #eff0f1;
+        padding: 1px 5px;
+    }
 
     pre code {background-color: @body-bg;}
 
@@ -57,7 +61,6 @@
         border:             0;
         color:              @text-color;
         font-size:          100%;
-        padding:            0px;
     }
 
     blockquote {margin: 1em 2em;}