stylus/edit/codemirror-default.css

104 lines
2.0 KiB
CSS
Raw Normal View History

2018-10-12 20:24:42 +00:00
:root {
--applies-to-pseudo: hsla(214, 100%, 90%, 0.15);
}
/************ CM default ************/
.CodeMirror.cm-s-default {
background: var(--gray-lightness-93);
}
.CodeMirror {
outline-style: solid;
outline-color: transparent;
outline-width: 1px;
outline-offset: -1px;
transition: outline-color .25s;
}
.CodeMirror-focused {
outline-color: var(--focus-outline);
}
.CodeMirror.cm-s-default .CodeMirror-gutters {
background-color: var(--truegray-alpha-1);
border-right: 1px solid var(--truegray-alpha-2);
}
.CodeMirror.cm-s-default .CodeMirror-activeline-background {
background: var(--cm-activeline-bg);
}
.CodeMirror-hints.default {
background-color: var(--main-bg);
}
.CodeMirror-hints {
z-index: 999;
}
2018-10-12 20:24:42 +00:00
/* match Windows select hover, so no variables */
2017-09-24 08:54:21 +00:00
.CodeMirror-hint:hover {
2018-10-12 20:24:42 +00:00
color: #fff;
2017-09-24 08:54:21 +00:00
background: #08f;
}
.CodeMirror {
2018-10-12 20:24:42 +00:00
border: 1px solid var(--gray-lightness-76);
2017-09-24 08:54:21 +00:00
}
.CodeMirror-lint-mark-warning {
background: none;
}
.CodeMirror-dialog {
-webkit-animation: highlight 3s cubic-bezier(.18, .02, 0, .94);
2017-09-24 08:54:21 +00:00
}
.CodeMirror-search-field {
width: 10em;
}
.CodeMirror-jump-field {
width: 5em;
}
.CodeMirror-search-hint {
2018-10-12 20:24:42 +00:00
color: var(--truegray);
2017-09-24 08:54:21 +00:00
}
.cm-uso-variable {
font-weight: bold;
}
.CodeMirror-activeline .applies-to:before {
2018-10-12 20:24:42 +00:00
background-color: var(--applies-to-pseudo);
content: "";
top: 1em;
left: 0;
right: 0;
bottom: 1em;
position: absolute;
pointer-events: none;
}
.CodeMirror-activeline .applies-to ul {
z-index: 2;
}
.CodeMirror-foldgutter-open::after,
.CodeMirror-foldgutter-folded::after {
top: 5px;
width: 0;
height: 0;
content: "";
position: absolute;
border-style: solid;
opacity: .5;
left: 1px;
}
.CodeMirror-foldgutter-open::after {
border-width: 5px 3px 0 3px;
border-color: currentColor transparent transparent transparent;
}
.CodeMirror-foldgutter-folded::after {
margin-top: -2px;
margin-left: 1px;
border-width: 4px 0 4px 5px;
border-color: transparent transparent transparent currentColor;
}