Tabs are bad

This commit is contained in:
narcolepticinsomniac 2018-07-03 04:27:29 -04:00 committed by GitHub
parent f80567e5b5
commit 9b2b459adc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -307,7 +307,7 @@ input:invalid {
margin-bottom: 7px; /* make space for resize-grip */ margin-bottom: 7px; /* make space for resize-grip */
} }
.resize-grip-enabled .CodeMirror-hscrollbar { .resize-grip-enabled .CodeMirror-hscrollbar {
bottom: 7px; /* make space for resize-grip */ bottom: 7px; /* make space for resize-grip */
} }
.resize-grip-enabled .CodeMirror-scrollbar-filler { .resize-grip-enabled .CodeMirror-scrollbar-filler {
bottom: 7px; /* make space for resize-grip */ bottom: 7px; /* make space for resize-grip */
@ -777,9 +777,9 @@ html:not(.usercss) .usercss-only,
padding: 0; padding: 0;
} }
#actions { #actions {
padding: 0 1rem; padding: 0 1rem;
margin: 0; margin: 0;
box-sizing: border-box; box-sizing: border-box;
} }
#header input[type="checkbox"] { #header input[type="checkbox"] {
vertical-align: middle; vertical-align: middle;
@ -789,9 +789,9 @@ html:not(.usercss) .usercss-only,
display: none; display: none;
} }
#basic-info { #basic-info {
padding: .5rem 1rem; padding: .5rem 1rem;
margin: 0; margin: 0;
box-sizing: border-box; box-sizing: border-box;
display: flex; display: flex;
flex-wrap: wrap; flex-wrap: wrap;
} }
@ -810,15 +810,15 @@ html:not(.usercss) .usercss-only,
white-space: nowrap; white-space: nowrap;
} }
#options-wrapper { #options-wrapper {
display: flex; display: flex;
flex-wrap: wrap; flex-wrap: wrap;
padding: .5rem 1rem; padding: .5rem 1rem;
box-sizing: border-box; box-sizing: border-box;
} }
.options-column { .options-column {
flex-grow: 1; flex-grow: 1;
padding-right: .5rem; padding-right: .5rem;
box-sizing: border-box; box-sizing: border-box;
} }
#options:not([open]), #options:not([open]),
#lint:not([open]) { #lint:not([open]) {
@ -856,7 +856,7 @@ html:not(.usercss) .usercss-only,
margin-top: -1em; margin-top: -1em;
} }
#header summary { #header summary {
margin-bottom: 0; margin-bottom: 0;
} }
#lint > div { #lint > div {
margin-top: 0; margin-top: 0;
@ -871,7 +871,7 @@ html:not(.usercss) .usercss-only,
margin: .25em 0 -1em .25em; margin: .25em 0 -1em .25em;
} }
#sections { #sections {
height: unset !important; height: unset !important;
min-height: 0; min-height: 0;
padding-left: 0; padding-left: 0;
display: flex; display: flex;