2022-10-28 15:40:50 +02:00
|
|
|
.monaco-editor-container,
|
|
|
|
|
.editor-loading.is-loading {
|
2021-04-08 11:53:00 +02:00
|
|
|
width: 100%;
|
|
|
|
|
min-height: 200px;
|
|
|
|
|
height: 90vh;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.edit.githook .monaco-editor-container {
|
|
|
|
|
border: 1px solid var(--color-secondary);
|
|
|
|
|
height: 70vh;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* overwrite conflicting styles from fomantic */
|
|
|
|
|
.monaco-editor-container .inputarea {
|
|
|
|
|
min-height: 0 !important;
|
|
|
|
|
margin: 0 !important;
|
|
|
|
|
padding: 0 !important;
|
|
|
|
|
resize: none !important;
|
|
|
|
|
border: none !important;
|
|
|
|
|
color: transparent !important;
|
|
|
|
|
background-color: transparent !important;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* these seem unthemeable */
|
|
|
|
|
.monaco-scrollable-element > .scrollbar > .slider {
|
|
|
|
|
background: var(--color-primary) !important;
|
|
|
|
|
}
|
|
|
|
|
.monaco-scrollable-element > .scrollbar > .slider:hover {
|
|
|
|
|
background: var(--color-primary-dark-1) !important;
|
|
|
|
|
}
|
|
|
|
|
.monaco-scrollable-element > .scrollbar > .slider:active {
|
|
|
|
|
background: var(--color-primary-dark-2) !important;
|
|
|
|
|
}
|
