| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253 |
- .CodeMirror {
- pre.CodeMirror-line.grw-cm-header-line {
- padding-top: 0.16em;
- padding-bottom: 0.08em;
- font-family: $font-family-monospace;
- // '#'
- .cm-formatting-header {
- font-style: italic;
- font-weight: bold;
- opacity: 0.5;
- }
- .cm-header-1 {
- font-size: 1.9em;
- }
- .cm-header-2 {
- font-size: 1.6em;
- }
- .cm-header-3 {
- font-size: 1.4em;
- }
- .cm-header-4 {
- font-size: 1.35em;
- }
- .cm-header-5 {
- font-size: 1.25em;
- }
- .cm-header-6 {
- font-size: 1.2em;
- }
- }
- .cm-matchhighlight {
- color: $gray-900 !important;
- background-color: cyan;
- }
- .CodeMirror-selection-highlight-scrollbar {
- background-color: darkcyan;
- }
- // overwrite .CodeMirror-placeholder
- pre.CodeMirror-placeholder {
- color: $text-muted;
- }
- }
- // patch to fix https://github.com/codemirror/CodeMirror/issues/4089
- // see also https://github.com/codemirror/CodeMirror/commit/51a1e7da60a99e019f026a118dc7c98c2b1f9d62
- .CodeMirror-wrap > div > textarea {
- font-size: #{$line-height-base}rem;
- }
|