web_src/css/codemirror/base.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

.ui .field:not(:last-child) .EasyMDEContainer .editor-statusbar {
  margin-bottom: -1em; /* when there is a statusbar, the "margin-bottom: 1em" of the "field" is not needed, because the statusbar is likely a blank line */
}

.EasyMDEContainer .CodeMirror {
  color: var(--color-input-text);
  background-color: var(--color-input-background);
  border-color: var(--color-secondary);
  font: 14px var(--fonts-monospace);
}

.EasyMDEContainer .CodeMirror.cm-s-default {
  border-radius: var(--border-radius);
  padding: 0 !important;
}

.EasyMDEContainer .CodeMirror.CodeMirror-fullscreen.CodeMirror-focused {
  border-right: 1px solid var(--color-primary) !important;
}

.CodeMirror-cursor {
  border-color: var(--color-caret) !important;
}

.CodeMirror .cm-comment {
  background: inherit !important;
}

.CodeMirror .CodeMirror-code {
  font: 14px var(--fonts-monospace);
}

.CodeMirror-selected {
  background: var(--color-primary-light-1) !important;
  color: var(--color-white) !important;
}

.CodeMirror-placeholder {
  color: var(--color-placeholder-text) !important;
  opacity: 1 !important;
}

.CodeMirror-focused {
  border-color: var(--color-primary) !important;
}

.CodeMirror :focus {
  outline: none;
}