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;
|
|
|
|
|
}
|
2023-04-26 07:31:50 +02:00
|
|
|
|
|
|
|
|
/* fomantic styles destroy this element only visible on IOS, restore it */
|
|
|
|
|
.monaco-editor .iPadShowKeyboard {
|
|
|
|
|
border: none !important;
|
|
|
|
|
width: 58px !important;
|
|
|
|
|
min-width: 0 !important;
|
|
|
|
|
height: 36px !important;
|
|
|
|
|
min-height: 0 !important;
|
|
|
|
|
margin: 0 !important;
|
|
|
|
|
padding: 0 !important;
|
|
|
|
|
position: absolute !important;
|
|
|
|
|
resize: none !important;
|
|
|
|
|
overflow: hidden !important;
|
2023-08-28 21:43:59 +02:00
|
|
|
border-radius: var(--border-radius-medium) !important;
|
2023-04-26 07:31:50 +02:00
|
|
|
}
|
