@import url('../../../shared/theme.less');

div > code-editor-container.active:last-child {
    min-height: auto !important;
    max-height: none !important;
    min-width: auto !important;
    max-width: none !important;
}

.code-editor-header {
    padding: 10px 18px;
    background: lighten(@editor-bg-white, 1%);
    color: @primary-text-color-white;
    font-size: 13px;
    border-style: solid none;
    border-color: @primary-bg-color-white;
    border-width: 1px;
}

@media (prefers-color-scheme: dark) {
    .code-editor-header {
        background: lighten(@editor-bg-dark, 1%);
        color: @primary-text-color-dark;
        border-color: @primary-bg-color-dark;
    }
}