2022-12-16 02:12:05 +00:00
|
|
|
/*
|
|
|
|
|
* Citizen
|
|
|
|
|
*
|
|
|
|
|
* SkinStyles for Extension:CodeEditor
|
|
|
|
|
* Module: jquery.codeEditor
|
|
|
|
|
* Version: REL1_39 67c012c
|
|
|
|
|
*
|
|
|
|
|
* Date: 2022-12-15
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
.wikiEditor-ui .ace_editor {
|
|
|
|
|
font-family: var( --font-family-monospace );
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.codeEditor-status {
|
|
|
|
|
position: relative;
|
|
|
|
|
width: auto; // so it won't overflow
|
|
|
|
|
padding-top: 8px; // Make space for resize indicator
|
|
|
|
|
padding-right: var( --space-xs );
|
|
|
|
|
padding-left: var( --space-xs );
|
2024-10-23 21:33:46 +00:00
|
|
|
line-height: var( --line-height-xx-small );
|
2024-06-30 05:04:30 +00:00
|
|
|
color: var( --color-subtle );
|
2023-07-28 01:19:27 +00:00
|
|
|
background-color: var( --color-surface-2 );
|
|
|
|
|
border-top-color: var( --border-color-base );
|
2022-12-16 02:12:05 +00:00
|
|
|
|
|
|
|
|
// HACK: Add resize indicator
|
2023-02-28 21:59:36 +00:00
|
|
|
&::after {
|
2022-12-16 02:12:05 +00:00
|
|
|
position: absolute;
|
|
|
|
|
top: 1px; // counter border top
|
|
|
|
|
right: 0;
|
|
|
|
|
left: 0;
|
|
|
|
|
width: 52px;
|
|
|
|
|
height: 4px;
|
|
|
|
|
margin: 2px auto;
|
|
|
|
|
content: '';
|
2024-06-30 05:04:30 +00:00
|
|
|
background: var( --color-subtle );
|
2024-07-05 17:24:31 +00:00
|
|
|
border-radius: var( --border-radius-pill );
|
2022-12-16 02:12:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
&-worker,
|
|
|
|
|
&-line,
|
|
|
|
|
&-message {
|
|
|
|
|
padding: 0 var( --space-xs );
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
&-message {
|
2024-06-30 05:04:30 +00:00
|
|
|
color: var( --color-emphasized );
|
2023-07-28 01:19:27 +00:00
|
|
|
border-color: var( --border-color-base );
|
2022-12-16 02:12:05 +00:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// So that it connects with CodeEditor's status bar
|
|
|
|
|
.skin-citizen .mw-editform .editOptions {
|
|
|
|
|
border-top-left-radius: 0;
|
|
|
|
|
border-top-right-radius: 0;
|
|
|
|
|
}
|
