2016-05-11 04:22:32 +02:00
|
|
|
.CodeMirror {
|
|
|
|
font-family: Inconsolata, monospace;
|
|
|
|
height: 100%;
|
2016-07-06 21:09:05 +02:00
|
|
|
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;
|
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;
|
|
|
|
}
|