From ea2a22905076a1426db463cc4b0204c6daadc90c Mon Sep 17 00:00:00 2001
From: Alasdair Smith <ali@alasdairsmith.co.uk>
Date: Mon, 16 Jul 2018 11:28:04 +0100
Subject: [PATCH] Add line padding to indented padding

Fixes bug where itemize and enumerate envs weren't correctly indented
---
 .../public/stylesheets/app/editor/rich-text.less    | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/services/web/public/stylesheets/app/editor/rich-text.less b/services/web/public/stylesheets/app/editor/rich-text.less
index d3316a079e..96cdea9cad 100644
--- a/services/web/public/stylesheets/app/editor/rich-text.less
+++ b/services/web/public/stylesheets/app/editor/rich-text.less
@@ -1,4 +1,5 @@
 @rt-font-family-serif: 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
+@rt-line-padding: 8%;
 
 .rich-text .CodeMirror {
   font-family: @rt-font-family-serif;
@@ -10,7 +11,7 @@
 
   .CodeMirror-line {
     // Add horizontal padding, to emulate a manuscript more closely
-    padding: 0 8%;
+    padding: 0 @rt-line-padding;
   }
 
   .CodeMirror-linenumber {
@@ -41,23 +42,23 @@
   /****************************************************************************/
 
   .wl-indent-0 {
-    padding-left: 2.5em !important;
+    padding-left: calc(~"2.5em + @{rt-line-padding}") !important;
   }
 
   .wl-indent-1 {
-    padding-left: 3.5em !important;
+    padding-left: calc(~"3.5em + @{rt-line-padding}") !important;
   }
 
   .wl-indent-2 {
-    padding-left: 4.5em !important;
+    padding-left: calc(~"4.5em + @{rt-line-padding}") !important;
   }
 
   .wl-indent-3 {
-    padding-left: 5.5em !important;
+    padding-left: calc(~"5.5em + @{rt-line-padding}") !important;
   }
 
   .wl-indent-4 {
-    padding-left: 6.5em !important;
+    padding-left: calc(~"6.5em + @{rt-line-padding}") !important;
   }
 
   .wl-indent-env-0 {