2016-03-16 23:34:25 +00:00
|
|
|
@import '../constants/colors';
|
2016-03-23 05:58:16 +00:00
|
|
|
@import '../constants/dimensions';
|
2016-07-20 23:16:28 +00:00
|
|
|
@import '../constants/fonts';
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-05-01 19:56:30 +00:00
|
|
|
.editor {
|
|
|
|
box-sizing: border-box;
|
|
|
|
height: 100% !important;
|
|
|
|
width: 100%;
|
2016-09-08 22:04:25 +00:00
|
|
|
display: grid;
|
2016-09-20 20:53:34 +00:00
|
|
|
grid-template-rows: minmax(0, 1fr) auto;
|
2016-09-09 00:32:36 +00:00
|
|
|
grid-template-columns: 100%;
|
2016-09-08 22:04:25 +00:00
|
|
|
|
2016-09-20 21:17:01 +00:00
|
|
|
.editor__container {
|
|
|
|
height: 100%;
|
|
|
|
width: 100%;
|
|
|
|
position: relative;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror {
|
|
|
|
position: absolute;
|
|
|
|
left: 0;
|
|
|
|
right: 0;
|
|
|
|
top: 0;
|
|
|
|
bottom: 0;
|
|
|
|
}
|
|
|
|
|
2016-09-13 17:29:09 +00:00
|
|
|
.editor__toolbar {
|
2016-09-08 22:04:25 +00:00
|
|
|
display: flex;
|
|
|
|
flex-direction: row;
|
|
|
|
align-items: center;
|
2016-09-13 17:29:09 +00:00
|
|
|
border-top: 1px solid @hl-md;
|
|
|
|
height: @line-height-xs;
|
2016-09-08 22:04:25 +00:00
|
|
|
|
2016-09-13 17:29:09 +00:00
|
|
|
input {
|
2016-09-13 21:18:22 +00:00
|
|
|
font-family: @font-monospace;
|
2016-09-08 22:04:25 +00:00
|
|
|
margin-right: 0;
|
|
|
|
width: 100%;
|
2016-09-13 17:29:09 +00:00
|
|
|
margin-left: @padding-md;
|
2016-09-08 22:04:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
button {
|
|
|
|
color: @hl;
|
2016-09-13 17:29:09 +00:00
|
|
|
padding: @padding-xs @padding-md;
|
|
|
|
height: 100%;
|
2016-09-08 22:04:25 +00:00
|
|
|
}
|
|
|
|
}
|
2016-05-01 19:56:30 +00:00
|
|
|
|
|
|
|
.CodeMirror {
|
2016-04-10 06:59:05 +00:00
|
|
|
height: 100% !important;
|
2016-04-06 04:21:42 +00:00
|
|
|
width: 100%;
|
2016-05-01 19:56:30 +00:00
|
|
|
box-sizing: border-box;
|
2016-08-29 17:58:59 +00:00
|
|
|
padding-top: @padding-sm;
|
2016-05-01 19:56:30 +00:00
|
|
|
}
|
|
|
|
|
2016-08-15 17:04:36 +00:00
|
|
|
.CodeMirror * {
|
2016-08-29 17:58:59 +00:00
|
|
|
font-family: @font-monospace;
|
2016-08-15 17:04:36 +00:00
|
|
|
}
|
|
|
|
|
2016-05-01 19:56:30 +00:00
|
|
|
.CodeMirror,
|
|
|
|
.cm-s-seti.CodeMirror, // Hack because seti theme is dumb
|
|
|
|
.CodeMirror-gutters,
|
|
|
|
.CodeMirror-scrollbar-filler,
|
|
|
|
.CodeMirror-gutter-filler {
|
|
|
|
// Let the background behind show through
|
2016-07-22 21:35:49 +00:00
|
|
|
background-color: transparent !important;
|
2016-05-01 19:56:30 +00:00
|
|
|
border: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumber, .CodeMirror-guttermarker-subtle {
|
2016-08-29 17:58:59 +00:00
|
|
|
color: @hl-xl !important;
|
2016-05-01 19:56:30 +00:00
|
|
|
}
|
|
|
|
|
2016-10-02 22:17:55 +00:00
|
|
|
.CodeMirror-gutter {
|
2017-01-23 22:41:31 +00:00
|
|
|
background-color: var(--color-bg);
|
2016-10-05 04:43:48 +00:00
|
|
|
}
|
|
|
|
|
2016-05-01 19:56:30 +00:00
|
|
|
.CodeMirror-scroll {
|
|
|
|
cursor: text; // Show text cursor everywhere (not just in .Codemirror-lines)
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lines {
|
|
|
|
// Scroll past the end
|
2016-08-22 20:05:42 +00:00
|
|
|
padding-bottom: 30px;
|
2016-05-01 19:56:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-placeholder {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: @hl-xl;
|
2016-05-01 19:56:30 +00:00
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-06-18 22:57:23 +00:00
|
|
|
.CodeMirror-lint-marker-error {
|
|
|
|
width: 100%;
|
|
|
|
height: 1em;
|
|
|
|
display: flex;
|
|
|
|
background: none;
|
|
|
|
text-align: center;
|
|
|
|
|
|
|
|
&::after {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-danger);
|
2016-06-18 23:02:01 +00:00
|
|
|
text-align: center;
|
|
|
|
width: 100%;
|
2016-06-19 00:08:14 +00:00
|
|
|
font-size: 0.7em; // because the circle is so large
|
2016-06-18 23:02:01 +00:00
|
|
|
content: '⬤';
|
2016-06-18 22:57:23 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-06 20:18:26 +00:00
|
|
|
&.editor--readonly .CodeMirror-cursors,
|
|
|
|
&.editor--readonly .CodeMirror-activeline-background {
|
2016-05-01 19:56:30 +00:00
|
|
|
opacity: 0;
|
2016-03-24 05:26:04 +00:00
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
}
|
2016-06-18 22:57:23 +00:00
|
|
|
|
2016-09-13 17:35:49 +00:00
|
|
|
// Search dialog (and others)
|
|
|
|
.CodeMirror-dialog {
|
2017-01-23 22:41:31 +00:00
|
|
|
background: var(--color-bg);
|
|
|
|
color: var(--color-font);
|
|
|
|
border-color: @hl-md;
|
|
|
|
box-sizing: border-box;
|
|
|
|
width: 100%;
|
|
|
|
padding: @padding-sm 0 @padding-sm @padding-sm;
|
2016-09-13 17:35:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Tooltip for errors
|
2016-06-18 22:57:23 +00:00
|
|
|
.CodeMirror-lint-tooltip {
|
2017-01-23 22:41:31 +00:00
|
|
|
background-color: var(--color-bg);
|
|
|
|
color: var(--color-font);
|
|
|
|
border-color: @hl-md;
|
2016-06-18 22:57:23 +00:00
|
|
|
border-radius: 0;
|
2016-08-29 17:58:59 +00:00
|
|
|
font-size: @font-size-md;
|
|
|
|
padding: @padding-xs @padding-sm;
|
2016-08-22 19:05:17 +00:00
|
|
|
z-index: 99999;
|
2016-06-18 22:57:23 +00:00
|
|
|
|
|
|
|
.CodeMirror-lint-message-error {
|
|
|
|
background-image: none;
|
|
|
|
padding-left: 0;
|
|
|
|
}
|
2017-01-23 22:41:31 +00:00
|
|
|
|
2016-06-18 22:57:23 +00:00
|
|
|
&::after {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
}
|
2016-06-20 06:43:35 +00:00
|
|
|
|
|
|
|
/* Based on Sublime Text's Monokai theme */
|
2017-01-23 22:41:31 +00:00
|
|
|
.editor {
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default.CodeMirror {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-06-20 06:43:35 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default div.CodeMirror-selected {
|
2017-01-20 21:54:03 +00:00
|
|
|
background: @hl-md;
|
|
|
|
border-radius: 2px;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-gutters {
|
2016-09-13 17:29:09 +00:00
|
|
|
border-right: 0;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-guttermarker {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-guttermarker-subtle {
|
2017-01-20 21:54:03 +00:00
|
|
|
color: @hl-lg;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-linenumber {
|
2017-01-20 21:54:03 +00:00
|
|
|
color: @hl;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-cursor {
|
2017-01-23 22:41:31 +00:00
|
|
|
border-left: 1px solid var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-09-13 17:29:09 +00:00
|
|
|
.cm-s-default span.cm-comment,
|
2017-01-20 21:54:03 +00:00
|
|
|
.cm-s-default span.cm-meta,
|
2016-09-13 17:29:09 +00:00
|
|
|
.cm-s-default span.cm-qualifier {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-atom {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-surprise);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-number {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-surprise);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-keyword {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-danger);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-builtin {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-info);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-string {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-notice);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-12-22 07:24:28 +00:00
|
|
|
.cm-s-default span.cm-property, .cm-s-default span.cm-attribute {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-success);
|
2016-12-22 07:24:28 +00:00
|
|
|
}
|
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-variable {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-variable-2 {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-info);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-variable-3 {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-info);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-def {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-warning);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-bracket {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-font);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-tag {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-danger);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-header {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-surprise);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-link {
|
2017-01-23 22:41:31 +00:00
|
|
|
color: var(--color-surprise);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default span.cm-error {
|
2017-01-23 22:41:31 +00:00
|
|
|
background: var(--color-danger);
|
|
|
|
color: var(--color-font-danger);
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-activeline-background {
|
2016-08-29 17:58:59 +00:00
|
|
|
background: @hl-md;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
|
2016-07-22 21:35:49 +00:00
|
|
|
.cm-s-default .CodeMirror-matchingbracket {
|
|
|
|
text-decoration: underline;
|
2016-07-29 20:37:23 +00:00
|
|
|
color: inherit !important;
|
2016-07-22 21:35:49 +00:00
|
|
|
}
|
2016-07-06 20:18:26 +00:00
|
|
|
}
|