From 8213cb7341d236601d0a0cef5e6aef2b8bcd0720 Mon Sep 17 00:00:00 2001
From: Sebastian Castro <sebastian.castro@protonmail.com>
Date: Tue, 8 Sep 2020 09:53:54 +0200
Subject: [PATCH] Fix line numbers top padding

This old rule was conflicting with new css rules introduced in 1.8.4
---
 src/static/css/iframe_editor.css | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/static/css/iframe_editor.css b/src/static/css/iframe_editor.css
index 17b72885e..a68ca3527 100644
--- a/src/static/css/iframe_editor.css
+++ b/src/static/css/iframe_editor.css
@@ -38,10 +38,6 @@ html.inner-editor {
   word-wrap: break-word;
   overflow-wrap: break-word;
 }
-#innerdocbody, #sidediv {
-  padding-top: 10px; /* Both must have same top padding, so line number are aligned with the rows */
-  padding-bottom: 10px; /* some space when we scroll to the bottom */
-}
 
 #innerdocbody a {
   color: #2e96f3;