diff --git a/static/editor.css b/static/editor.css index 0131b81bb..110c3af66 100644 --- a/static/editor.css +++ b/static/editor.css @@ -73,10 +73,11 @@ width: 100%; } -.editor .line { +.editor .line, .gutter .line-number { white-space: pre; margin: 0; padding: 0; + padding-bottom: .05em; z-index: 1; }