From de92a2b34fc50c090c1c02c3b57dbe882cd64d3c Mon Sep 17 00:00:00 2001
From: Lilian Besson <Naereen@users.noreply.github.com>
Date: Tue, 9 Jan 2018 23:11:08 +0100
Subject: [PATCH] Force padding top bottom to 1px for div.output_area pre
 (#3194)

See https://github.com/jupyter/notebook/issues/3193
---
 notebook/static/notebook/less/outputarea.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notebook/static/notebook/less/outputarea.less b/notebook/static/notebook/less/outputarea.less
index 2c11da0c5..573032c21 100644
--- a/notebook/static/notebook/less/outputarea.less
+++ b/notebook/static/notebook/less/outputarea.less
@@ -95,7 +95,7 @@ div.output_area {
 
 div.output_area pre {
     margin: 0;
-    padding: 0;
+    padding: 1px 0 1px 0;
     border: 0;
     vertical-align: baseline;
     color: @output_pre_color;