improved layout and fixed bugs introduced new ones

This commit is contained in:
David Meincke
2022-03-27 16:45:51 +02:00
parent 6ed4b80c64
commit d24e605ea9
19 changed files with 318 additions and 101 deletions
@@ -1,12 +1,28 @@
@import url('../../../shared/theme.less');
div > code-editor-container.active:last-child {
code-editor-container {
min-height: 100%;
max-height: 100%;
}
code-editor-container.first-visible .code-editor-header {
border-top-color: transparent;
}
code-editor-container.last-visible {
min-height: auto !important;
max-height: none !important;
min-width: auto !important;
max-width: none !important;
}
code-editor-container.last-visible > resize-handle {
display: none !important;
}
.code-editor-header {
padding: 10px 18px;
background: lighten(@editor-bg-white, 1%);
@@ -17,6 +33,10 @@ div > code-editor-container.active:last-child {
border-width: 1px;
}
.code-editor-content {
}
@media (prefers-color-scheme: dark) {
.code-editor-header {
background: lighten(@editor-bg-dark, 1%);