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

22 lines
376 B
SCSS
Raw Normal View History

2016-05-11 04:22:32 +02:00
.CodeMirror {
font-family: Inconsolata, monospace;
height: 100%;
border: 1px solid $editor-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;
}