p5.js-web-editor/client/styles/components/_editor.scss

63 lines
1.2 KiB
SCSS
Raw Normal View History

2016-05-11 04:22:32 +02:00
.CodeMirror {
font-family: Inconsolata, monospace;
height: 100%;
border: 1px solid $ide-border-color;
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;
}
.CodeMirror-line {
2016-06-20 20:58:15 +02:00
padding-left: #{5 / $base-font-size}rem;
}
.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;
}
.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 {
font-family: Montserrat, sans-serif;
border-radius: 2px;
border: 1px solid $light-modal-border-color;
2016-07-13 01:24:57 +02:00
background-color: $light-button-background-color;
}