make usercss editor full-height again

This commit is contained in:
tophf 2020-10-09 22:19:52 +03:00
parent 11ce144efb
commit 1027b77899

View File

@ -63,6 +63,7 @@ label {
#sections { #sections {
padding-left: 280px; padding-left: 280px;
min-height: 0; min-height: 0;
height: 100%;
} }
#sections h2 { #sections h2 {
margin-top: 1rem; margin-top: 1rem;
@ -817,13 +818,8 @@ body.linter-disabled .hidden-unless-compact {
color: #888; color: #888;
} }
/* FIXME: remove the ID selector */ .single-editor {
#sections .single-editor {
height: 100%; height: 100%;
margin: 0;
padding: 0;
display: flex;
box-sizing: border-box;
} }
.single-editor .CodeMirror { .single-editor .CodeMirror {
@ -843,7 +839,6 @@ body.linter-disabled .hidden-unless-compact {
} }
.usercss.firefox #sections, .usercss.firefox #sections,
.usercss.firefox .single-editor,
.usercss.firefox .CodeMirror { .usercss.firefox .CodeMirror {
height: 100%; height: 100%;
} }
@ -996,7 +991,7 @@ body.linter-disabled .hidden-unless-compact {
flex-direction: column; flex-direction: column;
flex: 1; flex: 1;
} }
#sections > * { #sections > :not(.single-editor) {
margin: 0 .5rem; margin: 0 .5rem;
padding: .5rem 0; padding: .5rem 0;
} }