2016-05-11 04:22:32 +02:00
|
|
|
.CodeMirror {
|
2016-09-14 19:03:51 +02:00
|
|
|
@include themify() {
|
|
|
|
border: 1px solid getThemifyVariable('ide-border-color');
|
|
|
|
}
|
|
|
|
font-family: Inconsolata, monospace;
|
|
|
|
height: 100%;
|
2016-05-11 04:22:32 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumbers {
|
|
|
|
padding-right: #{10 / $base-font-size}rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumber {
|
|
|
|
width: #{35 / $base-font-size}rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lines {
|
|
|
|
padding-top: #{25 / $base-font-size}rem;
|
2016-05-13 00:29:38 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-line {
|
2016-06-20 20:58:15 +02:00
|
|
|
padding-left: #{5 / $base-font-size}rem;
|
|
|
|
}
|
2016-07-13 01:11:07 +02:00
|
|
|
|
|
|
|
.CodeMirror-gutter-wrapper {
|
|
|
|
right: 100%;
|
|
|
|
top: 0;
|
|
|
|
bottom: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-warning, .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-multiple {
|
|
|
|
background-image: none;
|
|
|
|
width: 70px;
|
|
|
|
position: absolute;
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2016-07-13 01:24:57 +02:00
|
|
|
.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
|
|
|
|
background-image: none;
|
|
|
|
padding-left: inherit;
|
|
|
|
}
|
|
|
|
|
2016-07-13 01:11:07 +02:00
|
|
|
.CodeMirror-lint-marker-warning {
|
|
|
|
background-color: rgb(255, 190, 5);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-error {
|
|
|
|
background-color: rgb(255, 95, 82);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-gutter-elt:not(.CodeMirror-linenumber) {
|
|
|
|
opacity: 0.3;
|
|
|
|
width: 70px !important;
|
|
|
|
height: 100%;
|
|
|
|
// background-color: rgb(255, 95, 82);
|
|
|
|
}
|
2016-07-13 01:24:57 +02:00
|
|
|
|
|
|
|
.CodeMirror-lint-tooltip {
|
2016-09-14 19:03:51 +02:00
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('modal-background-color');
|
|
|
|
border: 1px solid getThemifyVariable('modal-border-color');
|
|
|
|
box-shadow: 0 12px 12px getThemifyVariable('shadow-color');
|
2016-09-22 00:52:44 +02:00
|
|
|
color: getThemifyVariable('primary-text-color');
|
2016-09-14 19:03:51 +02:00
|
|
|
}
|
2016-07-21 21:07:53 +02:00
|
|
|
border-radius: 2px;
|
2016-09-14 19:03:51 +02:00
|
|
|
font-family: 'Avenir Next', Montserrat, sans-serif;
|
2016-07-13 01:24:57 +02:00
|
|
|
}
|
2016-09-07 22:33:01 +02:00
|
|
|
|
2016-09-22 00:52:44 +02:00
|
|
|
.CodeMirror-gutters {
|
|
|
|
@include themify() {
|
|
|
|
background-color: getThemifyVariable('editor-gutter-color');
|
|
|
|
border-color: getThemifyVariable('ide-border-color');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-07 22:33:01 +02:00
|
|
|
.editor__options-button {
|
2016-09-13 22:42:06 +02:00
|
|
|
@include themify() {
|
|
|
|
@extend %icon;
|
|
|
|
}
|
2016-09-13 23:05:42 +02:00
|
|
|
position: absolute;
|
|
|
|
top: #{5 / $base-font-size}rem;
|
|
|
|
right: #{5 / $base-font-size}rem;
|
|
|
|
z-index: 1;
|
2016-09-07 22:33:01 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.editor__options {
|
|
|
|
display: none;
|
|
|
|
@extend %modal;
|
|
|
|
position: absolute;
|
|
|
|
top: #{20 / $base-font-size}rem;
|
|
|
|
right: #{5 / $base-font-size}rem;
|
|
|
|
padding: #{10 / $base-font-size}rem;
|
|
|
|
|
|
|
|
.editor--options & {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
}
|