diff --git a/edit.html b/edit.html index 6e789819..23dbeb25 100644 --- a/edit.html +++ b/edit.html @@ -1,3 +1,4 @@ + diff --git a/edit/edit.css b/edit/edit.css index add1eee8..939c896c 100644 --- a/edit/edit.css +++ b/edit/edit.css @@ -962,13 +962,6 @@ body:not(.find-open) [data-match-highlight-count="1"] .CodeMirror-selection-high } /************ single editor **************/ -.usercss body { - display: flex; - height: 100vh; - flex-direction: column; - justify-items: normal; -} - .usercss .CodeMirror-focused { box-shadow: none; } @@ -991,13 +984,9 @@ body.linter-disabled .hidden-unless-compact { margin-top: .75rem; } -.single-editor { - height: 100%; -} - .single-editor .CodeMirror { width: 100%; - height: auto; + height: 100vh; /* WARNING! Don't use 100% as it's dead slow */ border: none; outline: none; } @@ -1011,11 +1000,6 @@ body.linter-disabled .hidden-unless-compact { color: #666; } -.usercss.firefox #sections, -.usercss.firefox .CodeMirror { - height: 100%; -} - /************ line widget *************/ .CodeMirror-linewidget .applies-to { margin: 1em 0; diff --git a/manage.html b/manage.html index 8e119947..ee4f966c 100644 --- a/manage.html +++ b/manage.html @@ -1,3 +1,4 @@ +