/* vanilla-jsoneditor colours (JsonEditor.razor sets the class). Only its CSS variables are changed, so all editor features stay. */
.jse-theme-dark-blue {
    --jse-theme: dark;
    --jse-theme-color: var(--sh-control);
    --jse-theme-color-highlight: var(--sh-hover);
    --jse-background-color: var(--mud-palette-surface);
    --jse-text-color: var(--mud-palette-text-primary);
    --jse-text-color-inverse: var(--mud-palette-background);
    --jse-text-readonly: var(--mud-palette-text-disabled);
    --jse-main-border: 1px solid var(--sh-control);
    --jse-menu-color: var(--mud-palette-text-primary);
    --jse-menu-button-size: 32px;
    --jse-modal-background: var(--sh-raised);
    --jse-modal-overlay-background: rgba(2, 6, 23, 0.72);
    --jse-modal-code-background: var(--mud-palette-surface);
    --jse-panel-background: var(--sh-raised);
    --jse-panel-background-border: 1px solid var(--sh-control);
    --jse-panel-color: var(--mud-palette-text-secondary);
    --jse-panel-color-readonly: var(--mud-palette-text-disabled);
    --jse-panel-border: 1px solid var(--sh-control);
    --jse-panel-button-color-highlight: var(--mud-palette-text-primary);
    --jse-panel-button-background-highlight: var(--sh-control);
    --jse-navigation-bar-background: var(--sh-raised);
    --jse-navigation-bar-background-highlight: var(--sh-control);
    --jse-navigation-bar-dropdown-color: var(--mud-palette-text-primary);
    --jse-context-menu-background: var(--sh-raised);
    --jse-context-menu-background-highlight: var(--sh-control);
    --jse-context-menu-separator-color: var(--sh-control);
    --jse-context-menu-color: var(--mud-palette-text-primary);
    --jse-context-menu-pointer-background: var(--sh-hover);
    --jse-context-menu-pointer-background-highlight: var(--mud-palette-primary);
    --jse-context-menu-pointer-color: var(--mud-palette-text-primary);
    --jse-key-color: var(--mud-palette-primary-lighten);
    --jse-value-color: var(--mud-palette-text-primary);
    --jse-value-color-number: #fcd34d;
    --jse-value-color-boolean: #fdba74;
    --jse-value-color-null: #f0abfc;
    --jse-value-color-string: #86efac;
    --jse-value-color-url: var(--mud-palette-primary);
    --jse-delimiter-color: var(--mud-palette-text-disabled);
    --jse-edit-outline: 2px solid var(--mud-palette-primary);
    --jse-selection-background-color: color-mix(in srgb, var(--mud-palette-primary) 22%, transparent);
    --jse-selection-background-inactive-color: color-mix(in srgb, var(--mud-palette-primary) 12%, transparent);
    --jse-hover-background-color: color-mix(in srgb, var(--mud-palette-text-primary) 6%, transparent);
    --jse-active-line-background-color: color-mix(in srgb, var(--mud-palette-text-primary) 4%, transparent);
    --jse-search-match-background-color: color-mix(in srgb, var(--mud-palette-warning) 30%, transparent);
    --jse-collapsed-items-background-color: var(--sh-raised);
    --jse-collapsed-items-selected-background-color: var(--sh-control);
    --jse-collapsed-items-link-color: var(--mud-palette-text-secondary);
    --jse-collapsed-items-link-color-highlight: var(--mud-palette-primary);
    --jse-error-color: var(--mud-palette-error);
    --jse-warning-color: var(--mud-palette-warning);
    --jse-input-background: var(--mud-palette-background);
    --jse-input-border: 1px solid var(--sh-control);
    --jse-button-background: var(--sh-control);
    --jse-button-background-highlight: var(--sh-hover);
    --jse-button-color: var(--mud-palette-text-primary);
    --jse-button-primary-background: var(--mud-palette-primary);
    --jse-button-primary-background-highlight: var(--mud-palette-primary-lighten);
    --jse-button-primary-color: var(--mud-palette-background);
    --jse-a-color: var(--mud-palette-primary);
    --jse-a-color-highlight: var(--mud-palette-primary-lighten);
    --jse-svelte-select-background: var(--mud-palette-background);
    --jse-svelte-select-border: 1px solid var(--sh-control);
    --jse-table-header-background: var(--sh-raised);
    --jse-table-header-background-highlight: var(--sh-control);
    --jse-table-row-odd-background: color-mix(in srgb, var(--mud-palette-text-primary) 3%, transparent);
    --jse-font-family-mono: var(--sh-font-mono);
    border-radius: var(--sh-radius);
    overflow: hidden;
}