From 0a836ced2911d9df95cf30fff9919aed08c3e608 Mon Sep 17 00:00:00 2001
From: Richard Hansen <rhansen@rhansen.org>
Date: Tue, 15 Sep 2020 00:35:59 -0400
Subject: [PATCH] css: Line up line numbers with their rows

Tested with both `no-skin` and `colibris`.
---
 src/static/css/iframe_editor.css | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/static/css/iframe_editor.css b/src/static/css/iframe_editor.css
index a68ca3527..7267375a4 100644
--- a/src/static/css/iframe_editor.css
+++ b/src/static/css/iframe_editor.css
@@ -25,7 +25,8 @@ html.inner-editor {
 
 /* ACE-PAD Container (i.e. where the text is displayed) */
 #innerdocbody {
-  padding: 15px;
+  padding-left: 15px;
+  padding-right: 15px;
   overflow: hidden;
   background-color: white;
   line-height: 1.6;
@@ -39,6 +40,13 @@ html.inner-editor {
   overflow-wrap: break-word;
 }
 
+#innerdocbody, #sidediv {
+  /* Both must have the same top padding to line up line numbers */
+  padding-top: 15px;
+  /* Some space when we scroll to the bottom */
+  padding-bottom: 15px;
+}
+
 #innerdocbody a {
   color: #2e96f3;
 }
@@ -144,4 +152,4 @@ body.mozilla, body.safari {
 }
 body.grayedout {
   background-color: #eee !important
-}
\ No newline at end of file
+}