2021-03-19 16:36:01 +00:00
|
|
|
/*
|
2021-08-25 19:08:28 +00:00
|
|
|
* Citizen
|
|
|
|
*
|
|
|
|
* SkinStyles for Extension:CodeMirror
|
|
|
|
* Module: ext.CodeMirror.lib
|
|
|
|
* Version: REL1_35 a326407
|
|
|
|
*
|
|
|
|
* Date: 2021-08-25
|
2021-03-19 16:36:01 +00:00
|
|
|
*/
|
|
|
|
|
2021-08-26 16:11:52 +00:00
|
|
|
@import '../../../resources/variables.less';
|
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
.CodeMirror {
|
2021-08-26 16:11:52 +00:00
|
|
|
// FIXME: This should be shared between other extensions
|
|
|
|
--color-syntax-red: @color-syntax-red;
|
|
|
|
--color-syntax-orange: @color-syntax-orange;
|
|
|
|
--color-syntax-yellow: @color-syntax-yellow;
|
|
|
|
--color-syntax-green: @color-syntax-green;
|
|
|
|
--color-syntax-cyan: @color-syntax-cyan;
|
|
|
|
--color-syntax-blue: @color-syntax-blue;
|
|
|
|
--color-syntax-paleblue: @color-syntax-paleblue;
|
|
|
|
--color-syntax-purple: @color-syntax-purple;
|
|
|
|
--color-syntax-brown: @color-syntax-brown;
|
|
|
|
--color-syntax-pink: @color-syntax-pink;
|
|
|
|
--color-syntax-violet: @color-syntax-violet;
|
|
|
|
--color-syntax-grey: @color-syntax-grey;
|
2023-01-05 05:47:03 +00:00
|
|
|
background-color: var( --color-surface-0 );
|
2021-08-25 19:08:28 +00:00
|
|
|
color: var( --color-base );
|
|
|
|
|
|
|
|
&-scrollbar,
|
|
|
|
&-gutter {
|
|
|
|
&-filler {
|
2023-01-05 05:47:03 +00:00
|
|
|
background-color: var( --color-surface-0 );
|
2021-03-19 16:36:01 +00:00
|
|
|
}
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
2021-08-25 20:31:10 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-gutters {
|
2021-08-25 20:31:10 +00:00
|
|
|
border-color: transparent;
|
2023-01-05 05:47:03 +00:00
|
|
|
background-color: var( --color-surface-0 );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
2021-03-19 16:36:01 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-linenumber {
|
2021-08-25 20:31:10 +00:00
|
|
|
padding: 0 16px; // Give more space since there is no border and background
|
2021-08-25 19:08:28 +00:00
|
|
|
color: var( --color-base--subtle );
|
|
|
|
}
|
2021-03-19 16:36:01 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-guttermarker {
|
|
|
|
color: var( --color-base );
|
|
|
|
|
|
|
|
&-subtle {
|
2021-03-19 16:36:01 +00:00
|
|
|
color: var( --color-base--subtle );
|
|
|
|
}
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-cursor {
|
|
|
|
border-left-color: var( --color-base--emphasized );
|
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
div.CodeMirror-secondarycursor {
|
|
|
|
border-left-color: var( --color-base );
|
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-ruler {
|
|
|
|
border-left-color: var( --border-color-base );
|
|
|
|
}
|
2023-01-05 06:00:38 +00:00
|
|
|
|
|
|
|
&-composing {
|
|
|
|
border-bottom-color: var( --border-color-base );
|
|
|
|
}
|
|
|
|
|
|
|
|
&-selected {
|
|
|
|
background: var( --background-color-primary--hover );
|
|
|
|
}
|
|
|
|
|
|
|
|
&-focused .CodeMirror-selected {
|
|
|
|
background: var( --background-color-primary--active );
|
|
|
|
}
|
|
|
|
|
|
|
|
&-line {
|
|
|
|
&::selection,
|
|
|
|
> span::selection,
|
|
|
|
> span > span::selection {
|
|
|
|
background: var( --background-color-primary--active );
|
|
|
|
}
|
|
|
|
}
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
// Default theme
|
|
|
|
.cm {
|
|
|
|
&-s-default {
|
|
|
|
.cm {
|
|
|
|
&-header {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-blue );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-quote {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-green );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-keyword {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-purple );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-atom {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-pink );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-number {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-orange );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-def {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-blue );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-variable {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-red );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-variable-2 {
|
|
|
|
color: var( --color-base );
|
|
|
|
}
|
|
|
|
|
|
|
|
&-variable-3,
|
|
|
|
&-type {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-yellow );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-comment {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-gray );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-string {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-green );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-string-2 {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-red );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-meta {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-yellow );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-qualifier {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-yellow );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-builtin {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-yellow );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-bracket {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-grey );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-tag {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-pink );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-attribute {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-purple );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-hr {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-blue );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-link {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-blue );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-error {
|
|
|
|
color: var( --color-destructive );
|
|
|
|
}
|
|
|
|
|
|
|
|
&-property {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-purple );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-operator {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-cyan );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&-punctuation {
|
2021-08-26 16:11:52 +00:00
|
|
|
color: var( --color-syntax-cyan );
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-negative {
|
|
|
|
color: var( --color-destructive );
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-positive {
|
|
|
|
color: var( --color-success );
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-invalidchar {
|
|
|
|
color: var( --color-destructive );
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
2021-08-25 19:08:28 +00:00
|
|
|
}
|
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
div.CodeMirror {
|
|
|
|
span.CodeMirror {
|
|
|
|
&-matchingbracket {
|
|
|
|
color: var( --color-success );
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
|
|
|
|
2021-08-25 19:08:28 +00:00
|
|
|
&-nonmatchingbracket {
|
|
|
|
color: var( --color-destructive );
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|
2021-03-19 16:36:01 +00:00
|
|
|
}
|
|
|
|
}
|
2021-08-11 19:22:41 +00:00
|
|
|
|
|
|
|
.skin-citizen-dark .CodeMirror {
|
2021-08-26 16:11:52 +00:00
|
|
|
// FIXME: This should be shared between other extensions
|
|
|
|
--color-syntax-red: @color-syntax-red-dark;
|
|
|
|
--color-syntax-orange: @color-syntax-orange-dark;
|
|
|
|
--color-syntax-yellow: @color-syntax-yellow-dark;
|
|
|
|
--color-syntax-green: @color-syntax-green-dark;
|
|
|
|
--color-syntax-cyan: @color-syntax-cyan-dark;
|
|
|
|
--color-syntax-blue: @color-syntax-blue-dark;
|
|
|
|
--color-syntax-paleblue: @color-syntax-paleblue-dark;
|
|
|
|
--color-syntax-purple: @color-syntax-purple-dark;
|
|
|
|
--color-syntax-brown: @color-syntax-brown-dark;
|
|
|
|
--color-syntax-pink: @color-syntax-pink-dark;
|
|
|
|
--color-syntax-violet: @color-syntax-violet-dark;
|
2021-08-11 19:22:41 +00:00
|
|
|
}
|