2018-02-28 23:51:33 +00:00
|
|
|
.codeMirrorContainer {
|
|
|
|
|
font-size: 12px;
|
2020-04-10 22:17:12 +00:00
|
|
|
line-height: 1.25;
|
2018-02-28 23:51:33 +00:00
|
|
|
overflow: hidden;
|
2018-03-04 19:07:01 +00:00
|
|
|
position: relative;
|
2018-03-04 23:09:06 +00:00
|
|
|
}
|
2018-02-28 23:51:33 +00:00
|
|
|
.CodeMirror {
|
|
|
|
|
box-sizing: border-box;
|
2018-03-04 23:09:06 +00:00
|
|
|
flex-grow: 1;
|
2018-02-28 23:51:33 +00:00
|
|
|
height: 100%;
|
|
|
|
|
width: 100%;
|
2018-03-04 23:09:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* For when panels are used */
|
2018-03-11 14:59:39 +00:00
|
|
|
.codeMirrorContainer > div:not([class^="CodeMirror"]) {
|
2018-03-04 23:09:06 +00:00
|
|
|
display: flex;
|
|
|
|
|
flex-direction: column;
|
|
|
|
|
height: 100%;
|
|
|
|
|
}
|
|
|
|
|
|
2020-03-15 13:25:18 +00:00
|
|
|
.codeMirrorContainer.codeMirrorBreakAll .CodeMirror-wrap pre {
|
|
|
|
|
word-break: break-all;
|
|
|
|
|
}
|
|
|
|
|
|
2020-06-04 11:18:54 +00:00
|
|
|
/* CodeMirror theme overrides */
|
2020-06-05 14:00:35 +00:00
|
|
|
.cm-s-default .cm-string-2 { color: #930; }
|
2018-03-05 16:25:45 +00:00
|
|
|
.cm-s-default .cm-comment { color: #777; }
|
2020-06-04 11:18:54 +00:00
|
|
|
.cm-s-default .cm-keyword { color: #90b; }
|
2020-06-08 16:39:31 +00:00
|
|
|
.cm-s-default .cm-regex {
|
|
|
|
|
text-underline-position: under;
|
|
|
|
|
text-decoration-color: darkgray;
|
|
|
|
|
text-decoration-style: solid;
|
|
|
|
|
text-decoration-line: underline;
|
|
|
|
|
}
|
2020-06-13 12:48:56 +00:00
|
|
|
.cm-s-default .cm-error {
|
|
|
|
|
color: inherit;
|
|
|
|
|
}
|
2020-06-04 11:18:54 +00:00
|
|
|
.cm-s-default .cm-error,
|
|
|
|
|
.CodeMirror-linebackground.error {
|
2020-06-13 12:48:56 +00:00
|
|
|
background-color: #ff000016;
|
2020-06-04 11:18:54 +00:00
|
|
|
text-decoration: underline red;
|
|
|
|
|
text-underline-position: under;
|
|
|
|
|
}
|
|
|
|
|
|
2019-03-21 22:53:04 +00:00
|
|
|
.cm-directive { color: #333; font-weight: bold; }
|
2018-03-05 16:25:45 +00:00
|
|
|
.cm-staticext { color: #008; }
|
2018-03-05 18:05:26 +00:00
|
|
|
.cm-staticnetBlock { color: #800; }
|
|
|
|
|
.cm-staticnetAllow { color: #004f00; }
|
2018-03-06 20:47:40 +00:00
|
|
|
.cm-staticOpt { background-color: #ddd; font-weight: bold; }
|
2018-03-04 19:07:01 +00:00
|
|
|
|
|
|
|
|
.cm-search-widget {
|
|
|
|
|
align-items: center;
|
2020-04-16 12:49:34 +00:00
|
|
|
background-color: var(--bg-code);
|
2018-03-17 00:49:00 +00:00
|
|
|
cursor: default;
|
2018-03-16 23:38:43 +00:00
|
|
|
direction: ltr;
|
2018-03-04 19:07:01 +00:00
|
|
|
display: flex;
|
2018-03-04 23:23:01 +00:00
|
|
|
flex-shrink: 0;
|
2019-05-23 23:29:59 +00:00
|
|
|
font-size: 110%;
|
2018-03-04 19:07:01 +00:00
|
|
|
justify-content: center;
|
2020-04-16 12:49:34 +00:00
|
|
|
padding: 0.5em;
|
2018-03-04 22:13:27 +00:00
|
|
|
user-select: none;
|
|
|
|
|
-moz-user-select: none;
|
|
|
|
|
-webkit-user-select: none;
|
2018-03-04 19:07:01 +00:00
|
|
|
z-index: 1000;
|
|
|
|
|
}
|
2019-05-23 23:29:59 +00:00
|
|
|
.cm-search-widget .fa-icon {
|
|
|
|
|
fill: #888;
|
2018-03-04 22:13:27 +00:00
|
|
|
font-size: 140%;
|
|
|
|
|
}
|
2019-05-23 23:29:59 +00:00
|
|
|
.cm-search-widget .fa-icon:not(.fa-icon-ro):hover {
|
|
|
|
|
fill: #000;
|
|
|
|
|
}
|
2018-10-15 17:15:00 +00:00
|
|
|
.cm-search-widget-input {
|
|
|
|
|
border: 1px solid gray;
|
|
|
|
|
border-radius: 3px;
|
|
|
|
|
display: inline-flex;
|
2020-04-16 12:49:34 +00:00
|
|
|
max-width: 50vw;
|
|
|
|
|
width: 16em;
|
2018-10-15 17:15:00 +00:00
|
|
|
}
|
|
|
|
|
.cm-search-widget-input > input {
|
|
|
|
|
border: 0;
|
|
|
|
|
flex-grow: 1;
|
2020-04-16 12:49:34 +00:00
|
|
|
width: 100%;
|
2018-03-04 19:07:01 +00:00
|
|
|
}
|
2018-10-15 17:15:00 +00:00
|
|
|
.cm-search-widget-input > .cm-search-widget-count {
|
2018-03-04 19:07:01 +00:00
|
|
|
align-items: center;
|
|
|
|
|
color: #888;
|
|
|
|
|
display: none;
|
2018-10-15 17:15:00 +00:00
|
|
|
flex-grow: 0;
|
|
|
|
|
font-size: 80%;
|
|
|
|
|
padding: 0 0.4em;
|
2018-03-04 22:13:27 +00:00
|
|
|
pointer-events: none;
|
2018-03-04 19:07:01 +00:00
|
|
|
}
|
|
|
|
|
.cm-search-widget[data-query] .cm-search-widget-count {
|
2018-10-15 17:15:00 +00:00
|
|
|
display: inline-flex;
|
2018-03-04 19:07:01 +00:00
|
|
|
}
|
2018-03-04 22:13:27 +00:00
|
|
|
.cm-search-widget .cm-search-widget-button:hover {
|
|
|
|
|
color: #000;
|
2018-03-04 19:07:01 +00:00
|
|
|
}
|
2019-05-23 23:29:59 +00:00
|
|
|
.cm-search-widget .sourceURL {
|
|
|
|
|
padding-left: 0.5em;
|
|
|
|
|
padding-right: 0.5em;
|
|
|
|
|
position: absolute;
|
|
|
|
|
left: 0;
|
|
|
|
|
}
|
|
|
|
|
.cm-search-widget .sourceURL[href=""] {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
2018-03-11 14:59:39 +00:00
|
|
|
|
|
|
|
|
.CodeMirror-merge-l-deleted {
|
|
|
|
|
background-image: none;
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
}
|
|
|
|
|
.CodeMirror-merge-l-inserted {
|
|
|
|
|
background-image: none;
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
}
|
2020-04-25 14:19:08 +00:00
|
|
|
/* This probably needs to be added to CodeMirror repo */
|
|
|
|
|
.CodeMirror-merge-gap {
|
|
|
|
|
vertical-align: top;
|
|
|
|
|
}
|