stylus/edit/edit.css

996 lines
18 KiB
CSS
Raw Normal View History

:root {
--header-narrow-min-height: 12em;
}
2017-07-12 18:52:44 +00:00
body {
margin: 0;
font: 12px arial,sans-serif;
}
#global-progress {
position: fixed;
height: 4px;
top: 0;
left: 0;
right: 0;
background-color: hsla(180, 66%, 36%, .25);
border-left: 0 solid darkcyan;
z-index: 2147483647;
opacity: 0;
transition: opacity 2s;
}
#global-progress[title] {
opacity: 1;
}
.hidden {
display: none !important;
}
2017-12-03 23:40:22 +00:00
/************ checkbox & select************/
2018-07-16 16:37:01 +00:00
.options-column > div[class="option"] {
2017-12-03 23:40:22 +00:00
margin-bottom: 4px;
}
2018-07-16 16:37:01 +00:00
.options-column > .usercss-only {
margin-bottom: .75rem;
}
2017-12-03 23:40:22 +00:00
label {
padding-left: 16px;
position: relative;
}
2017-07-12 18:52:44 +00:00
/************ header ************/
#header {
width: 280px;
height: 100vh;
overflow: auto;
position: fixed;
top: 0;
2018-07-16 16:37:01 +00:00
padding: 1rem;
2017-07-12 18:52:44 +00:00
border-right: 1px dashed #AAA;
-webkit-box-shadow: 0 0 3rem -1.2rem black;
box-shadow: 0 0 3rem -1.2rem black;
2017-07-12 18:52:44 +00:00
box-sizing: border-box;
z-index: 10;
2017-11-27 14:02:23 +00:00
display: flex;
flex-direction: column;
2017-07-12 18:52:44 +00:00
}
#header h1 {
margin-top: 0;
}
#sections {
padding-left: 280px;
}
#sections h2 {
margin-top: 1rem;
margin-left: 1.7rem;
}
.aligned {
display: table-row;
2017-07-12 18:52:44 +00:00
}
.aligned > *:not(.svg-inline-wrapper) {
display: table-cell;
margin-top: 0.1rem;
min-height: 1.4rem;
2017-07-12 18:52:44 +00:00
}
2017-12-03 23:40:22 +00:00
2018-01-25 01:42:02 +00:00
#excluded-wrap {
align-items: center;
}
#exclusions h3 {
margin-top: 0;
}
#exclusions select {
width: 100%;
height: auto;
overflow: hidden;
margin-bottom: 10px;
padding: 0 6px;
}
#exclusions option {
overflow: hidden;
}
#excluded-pages:empty {
height: 1.4em;
border: none;
}
#excludedError {
position: absolute;
top: 7px;
color: red;
}
#excluded-stats:not(:empty) {
background-color: darkcyan;
border-color: darkcyan;
color: white;
font-size: 0.7rem;
font-weight: normal;
padding: 2px 5px;
position: relative;
top: -2px;
}
2017-07-12 18:52:44 +00:00
/* basic info */
#basic-info {
margin-bottom: 1rem;
}
2018-01-25 01:42:02 +00:00
#name, #excluded-input {
2017-07-12 18:52:44 +00:00
width: 100%;
}
#basic-info-name {
display: flex;
align-items: center;
}
#url {
margin-left: 0.25rem;
}
#url:not([href^="http"]) {
display: none;
}
#basic-info-enabled {
margin-top: 2px;
display: flex;
align-items: center;
line-height: 16px;
}
#basic-info-enabled > * {
margin-right: 1em;
margin-left: 0;
}
#basic-info-enabled > :last-child {
margin-right: 0;
}
#basic-info-enabled input,
#basic-info-enabled svg {
margin: auto 0;
bottom: 0;
}
#basic-info-enabled svg {
left: 2px;
}
#preview-errors {
background-color: red;
color: white;
padding: 0 6px;
border-radius: 9px;
margin-left: -.5em;
font-weight: bold;
cursor: pointer;
}
2017-07-12 18:52:44 +00:00
.svg-icon {
cursor: pointer;
vertical-align: middle;
transition: fill .5s;
width: 16px;
height: 16px;
}
.svg-inline-wrapper {
margin-left: .2rem;
display: inline-block;
vertical-align: middle;
}
#mozilla-format-heading .svg-inline-wrapper {
margin-left: 0;
}
#colorpicker-settings.svg-inline-wrapper {
margin: -2px 0 0 .1rem;
}
.svg-inline-wrapper.applies-to-help {
2018-07-16 16:37:01 +00:00
margin: 0 0 0 .25rem;
}
.aligned .svg-inline-wrapper {
margin: -2px 0 0 .3rem;
2017-07-12 18:52:44 +00:00
}
#sections-help {
margin-left: -1px;
2017-07-12 18:52:44 +00:00
}
.svg-icon.info {
2017-07-12 18:52:44 +00:00
width: 14px;
height: 16px;
}
.svg-icon:hover,
2017-08-17 19:08:48 +00:00
.svg-icon.info,
.svg-icon.settings {
2017-07-12 18:52:44 +00:00
fill: #666;
}
.svg-icon,
2017-08-17 19:08:48 +00:00
.svg-icon.info:hover,
.svg-icon.settings:hover {
2017-07-12 18:52:44 +00:00
fill: #000;
}
2017-12-06 22:19:51 +00:00
#options span .svg-icon {
margin-top: -3px; /* inline info and config icons */
}
2017-11-21 23:20:09 +00:00
input:invalid {
background-color: rgba(255, 0, 0, 0.1);
color: darkred;
}
2017-07-12 18:52:44 +00:00
#enabled {
margin-left: 0;
}
/* collapsibles */
#header summary {
align-items: center;
margin-left: -13px;
cursor: pointer;
2018-07-16 16:37:01 +00:00
margin-top: .5rem;
margin-bottom: .5rem;
}
2017-12-03 23:40:22 +00:00
#header summary h2 {
display: inline-block;
2017-11-29 16:05:47 +00:00
border-bottom: 1px dotted transparent;
2017-12-03 23:40:22 +00:00
margin-top: .1em;
margin-bottom: .1em;
}
2017-12-03 23:40:22 +00:00
#header summary:hover h2 {
border-color: #bbb;
}
2017-12-03 23:40:22 +00:00
#header summary svg {
margin-top: -3px;
}
2017-12-07 02:31:42 +00:00
2018-07-16 16:37:01 +00:00
#actions > * {
display: inline-flex;
flex-wrap: wrap;
}
#mozilla-format-container {
flex-direction: column;
}
#mozilla-format-buttons {
display: flex;
flex-wrap: wrap;
}
#actions > div > a {
height: min-content;
}
#actions button,
#actions > div > a {
margin: 0 .2rem .5rem 0;
}
#actions #cancel-button {
margin: 0;
2017-12-07 02:31:42 +00:00
}
#options:not([open]) + #lint h2 {
margin-top: 0;
}
#lint:not([open]) h2 {
margin-bottom: 0;
}
/* options */
2017-07-12 18:52:44 +00:00
#options [type="number"] {
width: 3.5em;
text-align: left;
padding-left: .25em;
2017-07-12 18:52:44 +00:00
}
2017-12-03 23:40:22 +00:00
#options .option.aligned > label {
padding: .1rem .25rem 0 0;
vertical-align: middle;
2017-07-12 18:52:44 +00:00
}
.set-option-progress {
position: absolute;
background-color: currentColor;
content: "";
opacity: .15;
}
/* footer */
2017-12-07 02:31:42 +00:00
.usercss #footer {
display: block;
margin-top: 1em;
margin-bottom: .5em;
}
#lint:not([open]) + #footer {
margin-top: 4em;
}
2017-07-12 18:52:44 +00:00
/************ content ***********/
#sections > div {
margin: 0.7rem;
2018-07-16 16:37:01 +00:00
padding: 1rem 1rem .3rem;
}
#sections > div:first-of-type {
padding: 0 1rem .3rem;
2017-07-12 18:52:44 +00:00
}
#sections > div:not(:first-of-type) {
2018-07-16 16:37:01 +00:00
border-top: 2px solid hsl(0, 0%, 80%);
2017-07-12 18:52:44 +00:00
}
#sections > div:only-of-type .remove-section {
display: none;
}
2018-07-16 16:37:01 +00:00
.edit-actions {
display: flex;
flex-wrap: wrap;
}
.edit-actions button {
margin: 0 .2rem .5rem 0;
2017-07-12 18:52:44 +00:00
}
.dirty > label::before {
content: "*";
font-weight: bold;
}
#sections {
counter-reset: codebox;
}
#sections > div > label {
animation: 2s highlight;
animation-play-state: paused;
animation-direction: reverse;
animation-fill-mode: both;
}
2017-07-12 18:52:44 +00:00
#sections > div > label::after {
counter-increment: codebox;
content: counter(codebox);
margin-left: 0.25rem;
}
/* code */
.code {
height: 10rem;
width: 40rem;
}
2017-09-13 12:28:19 +00:00
.resize-grip-enabled .CodeMirror-scroll {
height: auto !important;;
position: absolute !important;
2017-07-12 18:52:44 +00:00
top: 0;
left: 0;
right: 0;
bottom: 6px; /* resize-grip height */
}
2017-09-13 12:28:19 +00:00
.resize-grip-enabled .CodeMirror-vscrollbar {
2017-07-12 18:52:44 +00:00
margin-bottom: 7px; /* make space for resize-grip */
}
2017-09-13 12:28:19 +00:00
.resize-grip-enabled .CodeMirror-hscrollbar {
2018-07-16 16:37:01 +00:00
bottom: 7px; /* make space for resize-grip */
2017-07-12 18:52:44 +00:00
}
2017-09-13 12:28:19 +00:00
.resize-grip-enabled .CodeMirror-scrollbar-filler {
2017-07-12 18:52:44 +00:00
bottom: 7px; /* make space for resize-grip */
}
body[data-match-highlight="token"] .cm-matchhighlight-approved .cm-matchhighlight,
body[data-match-highlight="token"] .CodeMirror-selection-highlight-scrollbar {
animation: fadein-match-highlighter 1s cubic-bezier(.97,.01,.42,.98);
animation-fill-mode: both;
}
body[data-match-highlight="selection"] .cm-matchhighlight-approved .cm-matchhighlight,
body[data-match-highlight="selection"] .CodeMirror-selection-highlight-scrollbar {
background-color: rgba(1, 151, 193, 0.1);
}
@-webkit-keyframes highlight {
from {
background-color: #ff9;
}
to {
background-color: inherit;
2017-07-12 18:52:44 +00:00
}
}
@keyframes fadein {
from {
opacity: 0;
}
to {
opacity: 1;
}
}
@keyframes fadein-match-highlighter {
from { background-color: transparent; }
to { background-color: rgba(1, 151, 193, 0.1); }
}
.resize-grip {
position: absolute;
display: block;
height: 6px;
content: "";
left: 0;
right: 0;
bottom: 0;
z-index: 9;
cursor: n-resize;
background-color: inherit;
border-top-width: 1px;
border-top-style: solid;
border-top-color: inherit;
}
.resize-grip:after {
content: "";
bottom: 2px;
left: 0;
right: 0;
margin: 0 8px;
display: block;
position: absolute;
border-top-width: 2px;
border-top-style: dotted;
border-top-color: inherit;
}
/* applies-to */
.applies-to {
display: flex;
2018-07-16 16:37:01 +00:00
align-items: flex-start;
min-height: 30px;
flex-wrap: wrap;
2017-07-12 18:52:44 +00:00
}
.applies-to label {
2018-07-16 16:37:01 +00:00
display: flex;
padding: 0;
height: 22px;
align-items: center;
margin: 0 .2em 0 0;
white-space: nowrap;
2017-07-12 18:52:44 +00:00
}
.applies-to ul {
flex: auto;
2018-07-16 16:37:01 +00:00
flex-grow: 1;
2017-07-12 18:52:44 +00:00
margin: 0;
padding: 0;
}
.applies-to li {
display: flex;
2018-07-16 16:37:01 +00:00
flex-wrap: wrap;
2017-07-12 18:52:44 +00:00
list-style-type: none;
align-items: center;
}
2018-07-16 16:37:01 +00:00
.applies-to li.applies-to-everything {
align-items: unset;
line-height: 22px;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
.applies-to li > input {
min-height: 1.4rem;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
.applies-to li:not(.applies-to-everything) > * {
margin: 0 .2rem .5rem 0;
2017-07-12 18:52:44 +00:00
}
.applies-to li .add-applies-to:first-child {
margin-left: 1rem;
}
2018-07-16 16:37:01 +00:00
.applies-to li .applies-value-wrapper {
flex-grow: 1;
display: flex;
}
2017-07-12 18:52:44 +00:00
.applies-to li .applies-value {
2018-07-16 16:37:01 +00:00
flex-grow: 1;
2017-07-12 18:52:44 +00:00
padding-left: 0.2rem;
}
.applies-to img {
vertical-align: bottom;
}
2018-07-16 16:37:01 +00:00
.add-applies-to,
.remove-applies-to {
font-size: 0;
height: 22px;
width: 22px;
display: inline-flex;
align-items: center;
justify-content: center;
cursor: pointer;
}
.add-applies-to .svg-icon,
.remove-applies-to .svg-icon {
pointer-events: none;
fill: hsl(0, 0%, 60%);
height: 12px;
width: 12px;
}
.add-applies-to:hover .svg-icon,
.remove-applies-to:hover .svg-icon {
pointer-events: none;
fill: hsl(0, 0%, 0%);
}
2017-07-12 18:52:44 +00:00
.test-regexp {
display: none;
}
.has-regexp .test-regexp {
display: inline-block;
}
.regexp-report summary {
2017-07-12 18:52:44 +00:00
cursor: pointer;
}
.regexp-report mark {
background-color: rgba(255, 255, 0, .5);
}
.regexp-report details {
margin-left: 1rem;
word-break: break-all;
2017-07-12 18:52:44 +00:00
}
.regexp-report details:not(:last-child) {
margin-bottom: 1rem;
}
.regexp-report summary {
font-weight: bold;
margin-left: -1rem;
margin-bottom: .5rem;
cursor: default;
overflow-wrap: break-word;
2017-07-12 18:52:44 +00:00
}
.regexp-report details[data-type="full"] {
color: darkgreen;
}
.regexp-report details[data-type="partial"] {
color: darkgray;
}
.regexp-report details[data-type="invalid"] {
color: maroon;
}
.regexp-report details details {
margin-left: 2rem;
margin-top: .5rem;
}
.regexp-report .svg-icon {
position: absolute;
margin-top: -1px;
}
.regexp-report details a {
color: inherit;
text-decoration: none;
display: block;
cursor: pointer;
}
.regexp-report details a:hover {
2017-07-12 18:52:44 +00:00
text-decoration: underline;
text-decoration-skip: ink;
}
.regexp-report details a img {
2017-07-12 18:52:44 +00:00
width: 16px;
max-height: 16px;
position: absolute;
margin-left: -20px;
margin-top: -1px;
}
.regexp-report-note {
color: #999;
position: absolute;
margin: 0 0.5rem 0 0;
hyphens: auto;
}
2017-07-12 18:52:44 +00:00
/************ help popup ************/
#help-popup {
top: 3rem;
right: 3rem;
max-width: 50vw;
position: fixed;
display: none;
background-color: white;
box-shadow: 3px 3px 30px rgba(0, 0, 0, 0.5);
padding: 0.5rem;
z-index: 99;
}
#help-popup.big,
#help-popup.wide {
max-width: 100%;
}
2017-07-12 18:52:44 +00:00
#help-popup.big {
box-shadow: rgba(0, 0, 0, 0.45) 0px 0px 0px 100000px !important;
left: calc(280px - 3rem);
2017-07-12 18:52:44 +00:00
}
#help-popup.big .CodeMirror {
min-height: 2rem;
height: 70vh;
}
#help-popup .title {
font-weight: bold;
background-color: rgba(0,0,0,0.05);
margin: -0.5rem -0.5rem 0.5rem;
padding: .5rem 32px .5rem .5rem;
}
#help-popup .contents {
max-height: calc(100vh - 8rem);
overflow-y: auto;
}
2017-08-17 19:08:48 +00:00
#help-popup .settings {
min-width: 500px;
min-height: 200px;
max-width: 48vw;
}
2017-07-12 18:52:44 +00:00
#help-popup .dismiss {
position: absolute;
right: 4px;
top: .5em;
}
#help-popup .saved-message {
2017-08-17 19:08:48 +00:00
display: none;
color: #090;
2017-08-17 19:08:48 +00:00
margin-left: 10px;
font-weight: bold;
}
#help-popup .saved-message.show {
2017-08-17 19:08:48 +00:00
display: inline-block;
}
2017-07-12 18:52:44 +00:00
.keymap-list {
font-size: 12px;
2017-07-12 18:52:44 +00:00
border-spacing: 0;
word-break: break-all;
}
.keymap-list input {
width: 100%;
}
.keymap-list tr:nth-child(odd) {
background-color: rgba(0, 0, 0, 0.07);
}
.keymap-list td:first-child {
white-space: nowrap;
font-family: monospace;
padding-right: 0.5rem;
}
#help-popup button[name^="import"] {
line-height: 1.5rem;
padding: 0 0.5rem;
margin: 0.5rem 0 0 0.5rem;
pointer-events: none;
opacity: 0.5;
float: right;
}
#help-popup.ready button[name^="import"] {
pointer-events: all;
opacity: 1.0;
}
2017-08-13 02:28:44 +00:00
#help-popup .rules {
padding: 0 15px;
}
2017-08-26 15:03:28 +00:00
#help-popup button {
2017-08-17 19:47:45 +00:00
margin-right: 3px;
}
2017-07-12 18:52:44 +00:00
/************ lint ************/
2017-11-27 14:02:23 +00:00
#lint {
2017-07-12 18:52:44 +00:00
overflow-y: auto;
2017-12-07 02:31:42 +00:00
overflow-x: hidden;
}
#lint > summary {
/* workaround for overflow:auto to show the toggle triangle */
position: absolute;
}
#lint > div {
2018-07-16 16:37:01 +00:00
margin-top: 2.75rem;
}
2017-07-12 18:52:44 +00:00
#lint table {
font-size: 100%;
border-spacing: 0;
margin-bottom: 1rem;
line-height: 1.0;
}
#lint table:last-child {
margin-bottom: 0;
}
#lint caption {
text-align: left;
font-weight: bold;
}
#lint tbody {
font-size: 85%;
cursor: pointer;
}
#lint tr:hover {
background-color: rgba(0, 0, 0, 0.1);
}
#lint td[role="severity"] {
font-size: 0;
width: 16px;
}
#lint td[role="line"], #lint td[role="sep"] {
text-align: right;
padding-right: 0;
}
#lint td[role="col"] {
text-align: left;
padding-right: 0.25rem;
}
#lint td[role="message"] {
text-align: left;
2017-11-27 14:02:23 +00:00
white-space: nowrap;
2017-07-12 18:52:44 +00:00
}
#message-box.center.lint-config #message-box-contents {
text-align: left;
}
2017-07-12 18:52:44 +00:00
/************ CSS beautifier ************/
.beautify-options {
white-space: nowrap;
}
.beautify-options div {
float: left;
display: flex;
align-items: center;
}
.beautify-options div[newline="true"] + div {
clear: left;
2017-07-12 18:52:44 +00:00
}
.beautify-options div[newline="true"] + div span[indent] {
padding-left: 2rem;
}
2017-12-03 23:40:22 +00:00
.beautify-options > label {
top: 1em;
margin: 1ex 0;
2017-12-03 23:40:22 +00:00
}
2017-07-12 18:52:44 +00:00
.beautify-options:after {
clear: both;
display: block;
content: "";
2017-07-12 18:52:44 +00:00
height: 1rem;
}
.beautify-options span {
font-weight: bold;
font-family: monospace;
2017-07-12 18:52:44 +00:00
}
.beautify-options select {
border: none;
background: linear-gradient(90deg, rgba(0, 0, 0, .05) 18px, rgba(0, 0, 0, .02) 24px);
font-family: monospace;
font-weight: bold;
padding-left: 4px;
margin-left: 4px;
2017-07-12 18:52:44 +00:00
}
2017-09-11 16:09:25 +00:00
/************ single editor **************/
.usercss body {
display: flex;
height: 100vh;
flex-direction: column;
justify-items: normal;
}
html:not(.usercss) .usercss-only,
.usercss #mozilla-format-container,
.usercss #sections > h2 {
display: none !important; /* hide during page init */
}
2018-07-16 16:37:01 +00:00
#lint {
padding: 1rem 0 0;
box-sizing: border-box;
}
#options:not([open]) + #lint {
padding-top: 0;
}
#options-wrapper .options-column:nth-child(2) {
margin-top: .75rem;
}
.usercss #name {
background-color: #eee;
color: #888;
}
2018-07-16 16:37:01 +00:00
#sections .single-editor,
#sections > div.single-editor:first-of-type {
2017-09-11 16:09:25 +00:00
margin: 0;
padding: 0;
display: flex;
2017-09-11 16:09:25 +00:00
box-sizing: border-box;
}
.single-editor .CodeMirror {
width: 100%;
height: auto;
border: none;
outline: none;
}
#footer a {
color: #333;
transition: color .5s;
text-decoration-skip: ink;
}
#footer a:hover {
color: #666;
}
.usercss.firefox #sections,
.usercss.firefox .single-editor,
.usercss.firefox .CodeMirror {
2017-09-11 16:09:25 +00:00
height: 100%;
}
2017-09-13 08:58:03 +00:00
/************ line widget *************/
.CodeMirror-linewidget .applies-to {
margin: 1em 0;
2018-07-16 16:37:01 +00:00
padding: .75rem .75rem .25rem;
2017-09-13 08:58:03 +00:00
padding-right: calc(1em + 20px);
}
.CodeMirror-linewidget .applies-to li {
margin: 0;
}
.CodeMirror-linewidget .applies-to li + li {
margin-top: 0.35rem;
}
.CodeMirror-linewidget .applies-to li[data-type="regexp"] .test-regexp {
display: inline;
}
2017-12-03 23:40:22 +00:00
.CodeMirror-linewidget li.applies-to-everything {
2017-09-13 08:58:03 +00:00
margin-top: 0.2rem;
}
2017-07-12 18:52:44 +00:00
/************ reponsive layouts ************/
2017-12-07 02:31:42 +00:00
@media(max-width: 850px) {
2018-07-16 16:37:01 +00:00
body {
display: flex;
flex-direction: column;
}
2017-07-12 18:52:44 +00:00
#header {
2018-07-16 16:37:01 +00:00
flex: 0 1 auto;
height: unset;
width: unset;
2017-07-12 18:52:44 +00:00
position: inherit;
border-right: none;
border-bottom: 1px dashed #AAA;
2018-07-16 16:37:01 +00:00
padding: 0;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
#actions {
display: flex;
flex-wrap: wrap;
white-space: nowrap;
padding: 0 1rem;
margin: 0;
box-sizing: border-box;
2017-07-12 18:52:44 +00:00
}
#header input[type="checkbox"] {
vertical-align: middle;
}
#heading,
2017-07-12 18:52:44 +00:00
h2 {
display: none;
}
#basic-info {
2018-07-16 16:37:01 +00:00
padding: .5rem 1rem;
margin: 0;
box-sizing: border-box;
2017-07-12 18:52:44 +00:00
display: flex;
2018-07-16 16:37:01 +00:00
flex-wrap: wrap;
2017-07-12 18:52:44 +00:00
}
#basic-info > *:first-child {
2018-07-16 16:37:01 +00:00
flex-grow: 1;
2017-07-12 18:52:44 +00:00
}
#basic-info > *:not(:last-child) {
margin-right: 0.8rem;
}
#basic-info #name {
2018-07-16 16:37:01 +00:00
flex-grow: 1;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
#options-wrapper {
display: flex;
flex-wrap: wrap;
padding: 0 1rem .5rem;
box-sizing: border-box;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
.options-column {
flex-grow: 1;
padding-right: .5rem;
box-sizing: border-box;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
#options-wrapper .options-column:nth-child(2) {
margin-top: 0;
2017-12-07 02:31:42 +00:00
}
#options:not([open]),
#lint:not([open]) {
overflow: initial;
}
#options:not([open]) + #lint:not([open]) {
2018-07-16 16:37:01 +00:00
margin-top: 0;
2017-12-07 02:31:42 +00:00
}
#lint {
overflow: initial;
}
#lint summary {
position: static;
margin-bottom: 0;
}
2018-07-16 16:37:01 +00:00
#lint tbody {
display: flex;
flex-direction: column;
}
2017-12-07 02:31:42 +00:00
#options summary {
2018-07-16 16:37:01 +00:00
margin-left: 0;
padding-left: 4px;
2017-07-12 18:52:44 +00:00
}
#options h2 {
margin: 0 0 .5em;
}
2017-07-12 18:52:44 +00:00
.option label {
margin: 0;
}
#options [type="number"] {
text-align: left; /* workaround the column flow bug in webkit */
padding-left: 0.2rem;
}
#options #tabSize-label {
position: relative;
top: 0.2rem;
}
#lint > div {
2017-12-07 02:31:42 +00:00
margin-top: 0;
2018-07-16 16:37:01 +00:00
overflow: hidden;
}
#lint {
padding: 0 1rem .5rem;
}
#lint > summary {
margin-top: 0;
}
#lint caption {
text-indent: 4px;
2017-07-12 18:52:44 +00:00
}
2017-08-13 02:28:44 +00:00
#lint table {
width: 100%;
}
#lint td[role="message"] {
max-width: none;
}
2017-12-07 02:31:42 +00:00
#lint:not([open]) + #footer {
margin: .25em 0 -1em .25em;
}
2017-07-12 18:52:44 +00:00
#sections {
2018-07-16 16:37:01 +00:00
height: unset !important;
min-height: 0;
2017-07-12 18:52:44 +00:00
padding-left: 0;
2018-07-16 16:37:01 +00:00
display: flex;
flex-direction: column;
flex: 1;
2017-07-12 18:52:44 +00:00
}
#sections > div {
2018-07-16 16:37:01 +00:00
margin: 0 .5rem .5rem;
padding: .5rem 0 0;
2017-07-12 18:52:44 +00:00
}
2018-07-16 16:37:01 +00:00
#sections > div:first-of-type {
margin: .5rem;
padding: 0;
2017-07-12 18:52:44 +00:00
}
.usercss .CodeMirror-scroll {
max-height: calc(100vh - var(--header-narrow-min-height));
}
.usercss #options:not([open]) ~ #lint.hidden ~ #footer,
.usercss #lint:not([open]) + #footer {
margin-top: -.25em;
}
2018-07-16 16:37:01 +00:00
#help-popup.big[style="display: block;"],
#help-popup[style="display: block;"] {
width: max-content;
height: min-content;
max-width: 90%;
max-height: 90vh;
top: 0;
bottom: 0;
left: 0;
right: 0;
margin: auto;
}
#help-popup[style*="left:"] {
left: 1rem !important;
margin-top: -2.35rem;
}
#help-popup:not([style*="display: block;"]),
#help-popup .CodeMirror-lint-markers,
#help-popup .CodeMirror-guttermarker-subtle {
display: none !important;
}
#help-popup .CodeMirror-linenumber {
padding: 0;
2017-12-07 02:31:42 +00:00
}
}