fix narrow editor media query in FF: use column-count

This commit is contained in:
tophf 2017-08-27 14:40:23 +03:00
parent 80ff6f6832
commit 6256f1ab2d

View File

@ -485,6 +485,7 @@ body[data-match-highlight="selection"] .CodeMirror-selection-highlight-scrollbar
#header input[type="checkbox"] { #header input[type="checkbox"] {
vertical-align: middle; vertical-align: middle;
} }
#heading,
h2 { h2 {
display: none; display: none;
} }
@ -514,6 +515,8 @@ body[data-match-highlight="selection"] .CodeMirror-selection-highlight-scrollbar
} }
#options { #options {
-webkit-column-count: 2; -webkit-column-count: 2;
-moz-column-count: 2;
column-count: 2;
} }
#options .aligned > *:not(svg) { #options .aligned > *:not(svg) {
margin: 1px 0 0 0; /* workaround the flowing-padding column bug in webkit */ margin: 1px 0 0 0; /* workaround the flowing-padding column bug in webkit */
@ -539,6 +542,7 @@ body[data-match-highlight="selection"] .CodeMirror-selection-highlight-scrollbar
#lint h2 { #lint h2 {
display: block; display: block;
cursor: default; cursor: default;
margin-top: 0;
margin-bottom: 0; margin-bottom: 0;
} }
#lint > div { #lint > div {
@ -567,6 +571,8 @@ body[data-match-highlight="selection"] .CodeMirror-selection-highlight-scrollbar
@media(max-width:500px) { @media(max-width:500px) {
#options { #options {
-webkit-column-count: 1; -webkit-column-count: 1;
-moz-column-count: 1;
column-count: 1;
} }
#options #tabSize-label { #options #tabSize-label {
position: static; position: static;