/* ============================================================
   IVy Interactive Verification - Web UI Stylesheet
   Dark theme IDE-like layout
   ============================================================ */

:root {
    --ivy-graph-background: rgb(0, 0, 0);
    --ivy-relation-name-color: rgb(255, 255, 255);
    --ivy-pane-header-height: 47px;
    --ivy-pane-title-row-height: 15px;
    --ivy-pane-header-actions-height: 18px;
}

/* --- Reset & Base --- */
*, *::before, *::after {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

html, body {
    height: 100%;
    width: 100%;
    overflow: hidden;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
    font-size: 13px;
    color: #c8c8c8;
    background-color: #1e1e1e;
}

/* --- Menu Bar --- */
#menubar {
    display: flex;
    align-items: stretch;
    height: 36px;
    background-color: #2d2d2d;
    border-bottom: 1px solid #3c3c3c;
    padding: 0 8px;
    gap: 8px;
    flex-shrink: 0;
    user-select: none;
    overflow: hidden;
}

.menu-group {
    display: flex;
    align-items: center;
    gap: 4px;
    align-self: stretch;
    min-width: 0;
    flex: 0 0 auto;
}

.menu-right {
    margin-left: auto;
    flex: 0 0 auto;
    min-width: max-content;
    gap: 6px;
}

.isolate-menu[hidden] {
    display: none;
}

.isolate-menu .panel-menu {
    max-width: 180px;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.menu-label {
    color: #999;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    margin-right: 4px;
}

.menu-btn {
    background-color: #3c3c3c;
    color: #c8c8c8;
    border: 1px solid #555;
    border-radius: 3px;
    height: 24px;
    padding: 3px 10px;
    font-size: 12px;
    cursor: pointer;
    transition: background-color 0.15s;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    white-space: nowrap;
}

.menu-btn:hover {
    background-color: #505050;
    color: #fff;
}

.menu-btn:disabled {
    opacity: 0.55;
    cursor: default;
}

.menu-btn:disabled:hover {
    background-color: #3c3c3c;
    color: #c8c8c8;
}

.menu-btn:active {
    background-color: #606060;
}

.menu-btn.action-btn {
    background-color: #0e639c;
    border-color: #1177bb;
    color: #fff;
}

.menu-btn.action-btn:hover {
    background-color: #1177bb;
}

.menu-btn.cancel-btn {
    background-color: #7f2f2f;
    border-color: #a64646;
    color: #fff;
}

.menu-btn.cancel-btn:hover {
    background-color: #9b3b3b;
}

.icon-menu-btn {
    width: 28px;
    padding-left: 0;
    padding-right: 0;
    overflow: hidden;
}

.menu-icon {
    width: 22px;
    height: 22px;
    fill: none;
    stroke: currentColor;
    stroke-linecap: round;
    stroke-linejoin: round;
    stroke-width: 2.2;
    display: block;
}

.menu-btn.active {
    background-color: #0e639c;
    border-color: #1177bb;
    color: #fff;
}

.icon-menu-btn.job-submission-browser {
    background-color: #f3c744;
    border-color: #ffd85c;
    color: #1e1e1e;
}

.icon-menu-btn.job-submission-browser:hover {
    background-color: #ffd85c;
    border-color: #ffe58a;
    color: #111;
}

.icon-menu-btn.job-submission-browser:active,
.icon-menu-btn.job-submission-browser.active {
    background-color: #d9ad22;
    border-color: #f0c33b;
    color: #111;
}

.icon-menu-btn.job-submission-remote {
    background-color: #1e6bff;
    border-color: #4e8edb;
    color: #fff;
}

.icon-menu-btn.job-submission-remote:hover {
    background-color: #2f78ff;
    border-color: #6ca3eb;
    color: #fff;
}

.icon-menu-btn.job-submission-remote:active,
.icon-menu-btn.job-submission-remote.active {
    background-color: #1b5edc;
    border-color: #4e8edb;
    color: #fff;
}

/* Flash animation for "Show Tutorial" button when tutorial is closed via X */
.btn-flash {
    animation: btn-flash-anim 1.2s ease;
}

@keyframes btn-flash-anim {
    0%   { background: #c8c8c8; color: #1e1e1e; }
    50%  { background: #c8c8c8; color: #1e1e1e; }
    100% { background: #3c3c3c; color: #c8c8c8; }
}

#ui-mode-select,
#mode-select,
#analysis-abstractor-select,
#analysis-bmc-bound {
    background-color: #3c3c3c;
    color: #c8c8c8;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 3px 6px;
    font-size: 12px;
    cursor: pointer;
}

#ui-mode-select {
    width: 104px;
}

#mode-select:focus {
    outline: 1px solid #007acc;
}

#ui-mode-select:focus,
#analysis-abstractor-select:focus,
#analysis-bmc-bound:focus,
#transition-log-file:focus {
    outline: 1px solid #007acc;
}

.analysis-controller-controls {
    gap: 6px;
    min-width: 0;
}

.menu-field {
    display: inline-flex;
    align-items: center;
    gap: 3px;
    min-width: 0;
}

.menu-field .menu-label {
    margin-right: 0;
}

.menu-field-compact select {
    width: 54px;
}

#analysis-abstractor-select {
    width: 132px;
}

.transition-log-field {
    flex: 1 1 110px;
    max-width: 180px;
}

.job-control-log-field {
    flex: 0 0 auto;
    width: 440px;
    max-width: 100%;
    justify-content: center;
    margin-bottom: 1em;
}

.transition-log-input {
    width: 100%;
    min-width: 72px;
    box-sizing: border-box;
    background-color: #1e1e1e;
    color: #d8d8d8;
    border: 1px solid #555;
    border-radius: 3px;
    height: 24px;
    padding: 3px 6px;
    font-size: 12px;
}

body[data-ui-mode="cti"] .ui-mode-reachability,
body[data-ui-mode="reachability"] .ui-mode-cti {
    display: none !important;
}

body[data-active-sheet-type="events"] .ui-mode-only,
body[data-active-sheet-type="events"] .analysis-controller-controls {
    display: none !important;
}

body[data-event-viewer-only="true"] .sheet-tab[data-sheet="sheet-1"],
body[data-event-viewer-only="true"] #tutorial-container,
body[data-event-viewer-only="true"] #divider-h {
    display: none !important;
}

body[data-event-viewer-only="true"] #outer-container {
    height: calc(100vh - 36px - 22px);
}

.session-info {
    color: #666;
    font-size: 11px;
}

/* --- Text Dialog (matches Python ivy_ui_util.py text_dialog) --- */
.dialog-overlay {
    position: fixed;
    top: 0; left: 0; right: 0; bottom: 0;
    background: rgba(0,0,0,0.5);
    z-index: 1000;
    display: flex;
    align-items: center;
    justify-content: center;
}

.dialog-box {
    background: #2d2d2d;
    border: 1px solid #555;
    border-radius: 6px;
    padding: 16px 20px;
    min-width: 500px;
    max-width: 80vw;
    box-shadow: 0 8px 24px rgba(0,0,0,0.6);
}

.dialog-title {
    font-size: 14px;
    font-weight: 600;
    color: #fff;
    margin-bottom: 8px;
}

.dialog-message {
    font-size: 13px;
    color: #ccc;
    margin-bottom: 10px;
}

.save-as-explain-notice {
    position: fixed;
    top: 20px;
    left: 50%;
    transform: translateX(-50%);
    z-index: 1001;
    max-width: min(720px, calc(100vw - 32px));
    padding: 10px 14px;
    border: 1px solid #7a6528;
    border-radius: 4px;
    background: #3a311c;
    color: #f0b84a;
    box-shadow: 0 8px 24px rgba(0,0,0,0.5);
    font-size: 13px;
    line-height: 1.35;
    pointer-events: none;
}

.dialog-text {
    width: 100%;
    font-family: monospace;
    font-size: 13px;
    background: #000;
    color: #e0e0e0;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 8px;
    resize: vertical;
    box-sizing: border-box;
}

.dialog-input {
    width: 100%;
    font-size: 13px;
    background: #000;
    color: #e0e0e0;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 8px;
    box-sizing: border-box;
}

.dialog-listbox {
    min-height: 80px;
}

.dialog-error {
    color: #ff9b9b;
}

.dialog-buttons {
    margin-top: 12px;
    text-align: right;
    display: flex;
    flex-wrap: wrap;
    justify-content: flex-end;
    gap: 8px;
}

.dialog-btn {
    background: #094771;
    color: #fff;
    border: 1px solid #007acc;
    border-radius: 3px;
    padding: 5px 20px;
    font-size: 13px;
    cursor: pointer;
}

.dialog-btn:hover {
    background: #007acc;
}

.dialog-btn-danger {
    background: #7a2c2c;
    border-color: #c72e2e;
}

.dialog-btn-danger:hover {
    background: #a33a3a;
}

.loaded-file {
    color: #aad;
    display: block;
    font-size: 11px;
    margin-left: 0;
    font-style: italic;
    user-select: text;
    cursor: text;
    min-width: 0;
    max-width: 100%;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.loaded-file-group {
    flex: 1 1 12rem;
    justify-content: center;
    overflow: hidden;
    min-width: 3rem;
    padding: 0 4px;
}

.editor-close-btn {
    width: 18px;
    height: 18px;
    line-height: 16px;
    padding: 0;
    border: 1px solid #555;
    border-radius: 3px;
    background: #333;
    color: #ccc;
    cursor: pointer;
    font-size: 12px;
}

.editor-close-btn:hover {
    background: #4a2b2b;
    border-color: #8a4444;
    color: #fff;
}

.reopen-last-btn {
    padding: 2px 8px;
    border: 1px solid #7a6528;
    border-radius: 3px;
    background: #3a311c;
    color: #f0b84a;
    cursor: pointer;
    font-size: 11px;
}

.reopen-last-btn:hover {
    background: #4a3d22;
    color: #ffd37a;
}

/* --- Editor panel --- */
#editor-panel {
    --sheet-pane-width: 44rem;
    --sheet-pane-min-width: 460px;
    flex: 0 0 var(--sheet-pane-width);
    display: flex;
    flex-direction: column;
    min-width: var(--sheet-pane-min-width);
    margin-right: 160px;
    overflow: hidden;
}

#editor-left-resize-handle {
    flex: 0 0 4px;
    width: 4px;
    cursor: col-resize;
    background-color: #3c3c3c;
    transition: background-color 0.15s;
}

#editor-left-resize-handle:hover,
#editor-left-resize-handle.active {
    background-color: #007acc;
}

.model-editor-text {
    flex: 1;
    width: 100%;
    font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
    font-size: 12px;
    background: #000;
    color: #e0e0e0;
    border: none;
    padding: 8px;
    resize: none;
    overflow-y: auto;
    tab-size: 4;
    white-space: pre;
    line-height: 1.4;
}

.editor-text-shell {
    position: relative;
    flex: 1;
    min-height: 0;
    display: flex;
    background: #000;
}

.editor-text-shell .CodeMirror {
    width: 100%;
}

.editor-text-shell > .ivy-save-editor-sheen {
    position: absolute;
    inset: 0;
    z-index: 20;
    pointer-events: none;
    background: rgba(128, 128, 128, 0.2);
}

.model-editor-text:focus {
    outline: 1px solid #007acc;
}

/* Keymap radio buttons in editor panel header */
.keymap-radios {
    font-size: 11px;
    color: #ccc;
}
.keymap-radios label {
    margin-right: 8px;
    cursor: pointer;
}
.keymap-radios input[type="radio"] {
    margin-right: 2px;
    vertical-align: middle;
    cursor: pointer;
}
.keymap-docs-link {
    color: #f0b84a;
}
.keymap-docs-link:hover {
    color: #ffd37a;
}

/* CodeMirror dark theme overrides to match existing editor style */
#editor-panel .CodeMirror {
    --ivy-codemirror-minibuffer-height: 24px;
    flex: 1;
    height: auto;
    font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
    font-size: 12px;
    background: #000;
    color: #e0e0e0;
    line-height: 1.4;
    border: none;
}
#editor-panel .CodeMirror-scroll {
    height: calc(100% - var(--ivy-codemirror-minibuffer-height)) !important;
    max-height: calc(100% - var(--ivy-codemirror-minibuffer-height)) !important;
    box-sizing: border-box;
}
#editor-panel .CodeMirror-hscrollbar,
#editor-panel .CodeMirror-scrollbar-filler,
#editor-panel .CodeMirror-gutter-filler {
    display: none !important;
}
#editor-panel .CodeMirror-gutters {
    background: #16162a;
    border-right: 1px solid #333;
}
#editor-panel .CodeMirror-linenumber {
    color: #555;
}
#editor-panel .CodeMirror-cursor {
    border-left: 2px solid #e0e0e0;
}
#editor-panel .CodeMirror-selected {
    background: rgba(255, 224, 102, 0.78) !important;
}
#editor-panel .CodeMirror-focused .CodeMirror-selected {
    background: rgba(255, 214, 64, 0.88) !important;
}
#editor-panel .CodeMirror-selectedtext,
#editor-panel .CodeMirror-selectedtext * {
    color: #141423 !important;
    text-shadow: none !important;
}
#editor-panel .CodeMirror .ivy-emacs-isearch-match,
#editor-panel .CodeMirror .ivy-emacs-isearch-match * {
    background: rgba(255, 214, 64, 0.88) !important;
    color: #141423 !important;
    text-shadow: none !important;
}
#editor-panel .CodeMirror .ivy-source-highlight {
    background: #3a3320;
}
#editor-panel .CodeMirror-matchingbracket {
    color: #ffcc00 !important;
    text-decoration: underline;
}
/* Search/replace and Vim command prompts live in the reserved minibuffer row. */
#editor-panel .CodeMirror-dialog {
    background: #000;
    color: #e0e0e0;
    border-top: 1px solid #333;
    padding: 1px 6px;
    font-size: 11px;
    min-height: var(--ivy-codemirror-minibuffer-height);
    box-sizing: border-box;
    display: flex;
    align-items: center;
}
#editor-panel .CodeMirror-dialog-top {
    top: auto !important;
    bottom: 0;
    border-top: 1px solid #333;
    border-bottom: 0;
}
#editor-panel .CodeMirror-dialog-bottom {
    bottom: 0;
    border-top: 1px solid #333;
}
#editor-panel .CodeMirror-dialog input {
    background: #0f0f23;
    color: #e0e0e0;
    border: 1px solid #444;
    padding: 0 4px;
    font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
    font-size: 11px;
}


.tutorial-iframe {
    flex: 1;
    width: 100%;
    border: none;
    background: #fff;
}

.panel-header.tutorial-url-bar {
    display: flex;
    flex-direction: row;
    align-items: center;
    flex-wrap: nowrap;
    gap: 4px;
    padding: 2px 4px;
    min-height: 30px;
}

.tutorial-url-input {
    flex: 1;
    font-size: 11px;
    font-family: monospace;
    background: #1a1a2e;
    color: #c8c8c8;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 2px 6px;
    outline: none;
}

.tutorial-url-input:focus {
    border-color: #007acc;
}

.tutorial-nav-btn {
    font-size: 13px;
    background: #2d2d2d;
    color: #c8c8c8;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 1px 6px;
    cursor: pointer;
    line-height: 1;
}

.tutorial-nav-btn:hover:not(:disabled) {
    background: #3c3c3c;
    color: #fff;
}

.tutorial-nav-btn:disabled {
    color: #555;
    cursor: default;
}

.tutorial-close-btn,
.proof-goal-close-btn {
    font-size: 16px;
    background: #2d2d2d;
    color: #666;
    border: 1px solid #555;
    border-radius: 3px;
    padding: 0 6px;
    cursor: pointer;
    line-height: 1;
    flex: 0 0 auto;
}

.tutorial-close-btn:hover,
.proof-goal-close-btn:hover {
    color: #ff5555;
    border-color: #ff5555;
}

/* --- Outer Container --- */
#outer-container {
    display: flex;
    flex-direction: column;
    flex: 1;
    height: calc(100vh - 36px - 22px); /* menubar - statusbar */
    overflow: hidden;
}

/* Top row: left section (ARG+Concept+Details) | divider | right section (State+Editor) */
#top-row {
    display: flex;
    flex: 1;
    overflow: hidden;
    min-height: 0;
}

/* --- Job Control Page --- */
.job-control-page {
    position: fixed;
    top: 36px;
    left: 0;
    right: 0;
    bottom: 0;
    z-index: 850;
    background: rgba(18, 18, 18, 0.96);
    border-top: 1px solid transparent;
    transform: translateY(calc(100% + 32px));
    transition: transform 180ms ease-out;
    pointer-events: none;
}

.job-control-page.open {
    border-top-color: #3c3c3c;
    transform: translateY(0);
    pointer-events: auto;
}

.job-control-shell {
    width: 100%;
    height: 100%;
    display: flex;
    flex-direction: column;
    background: #1e1e1e;
    box-shadow: none;
}

.job-control-page.open .job-control-shell {
    box-shadow: 0 -12px 28px rgba(0, 0, 0, 0.45);
}

.job-control-header {
    flex: 0 0 auto;
    min-height: 40px;
    padding: 0 14px;
    border-bottom: 1px solid #3c3c3c;
    display: flex;
    align-items: center;
    justify-content: space-between;
    background: #252526;
}

.job-control-header strong {
    font-size: 14px;
    color: #fff;
}

.job-control-close {
    width: 22px;
    height: 22px;
    border: 1px solid #555;
    border-radius: 3px;
    background: #333;
    color: #ccc;
    cursor: pointer;
    line-height: 18px;
}

.job-control-close:hover {
    background: #4a2b2b;
    border-color: #8a4444;
    color: #fff;
}

.job-control-body {
    flex: 1;
    padding: 18px;
    overflow: auto;
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    justify-content: flex-start;
    gap: 18px;
}

.job-control-danger {
    align-self: flex-start;
    min-height: 30px;
    padding: 0 12px;
    border: 1px solid #9b2f2f;
    border-radius: 3px;
    background: #7f1d1d;
    color: #fff;
    font-size: 12px;
    font-weight: 600;
    cursor: pointer;
}

.job-control-danger:hover,
.job-control-danger:focus {
    background: #a52a2a;
    border-color: #d45a5a;
    outline: none;
}

.job-control-row {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 8px;
    margin-left: auto;
}

.job-control-backend-status {
    min-height: 16px;
    color: #ff9b9b;
    font-size: 12px;
    font-weight: 600;
    line-height: 16px;
    text-align: center;
}

.job-control-backend-status[hidden] {
    display: none;
}

.job-control-list {
    width: 100%;
    min-height: 120px;
    border-top: 1px solid #333;
    padding-top: 14px;
    color: #d6d6d6;
    font-size: 13px;
}

.job-control-empty {
    color: #999;
}

.job-control-job {
    min-height: 28px;
    padding: 6px 0;
    border-bottom: 1px solid #303030;
    color: #ddd;
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
    line-height: 1.35;
}

.job-control-job[data-job-status="running"] {
    color: #f3c744;
}

.job-control-job[data-job-status="cancelled"] {
    color: #aaa;
}

.job-control-job[data-job-status="error"],
.job-control-job[data-job-status="fail"] {
    color: #ff8a8a;
}

.job-control-job[data-job-status="pass"],
.job-control-job[data-job-status="complete"] {
    color: #9fd69f;
}

.job-control-label {
    color: #d6d6d6;
    font-size: 13px;
    line-height: 1.2;
    min-height: 16px;
    text-align: center;
}

.job-mode-toggle {
    position: relative;
    width: 156px;
    height: 32px;
    border: 1px solid #4e8edb;
    border-radius: 999px;
    background: #343a40;
    color: #fff;
    cursor: pointer;
    padding: 0;
    display: grid;
    grid-template-columns: 1fr 1fr;
    align-items: center;
    overflow: hidden;
}

.job-mode-toggle.is-remote {
    background: #1e6bff;
}

.job-mode-toggle.is-browser {
    background: #f3c744;
    border-color: #ffd85c;
    color: #111;
}

.job-mode-toggle.is-remote {
    color: #fff;
}

.job-mode-option {
    position: relative;
    z-index: 2;
    font-size: 12px;
    text-align: center;
    user-select: none;
}

.job-mode-knob {
    position: absolute;
    z-index: 3;
    top: 3px;
    left: calc(50% + 2px);
    width: calc(50% - 5px);
    height: 24px;
    border-radius: 12px;
    background: #f7f9ff;
    color: #1e6bff;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 15px;
    line-height: 1;
    box-shadow: 0 1px 5px rgba(0, 0, 0, 0.35);
    transition: transform 160ms ease-out;
}

.job-mode-toggle.is-browser .job-mode-knob {
    transform: translateX(0);
}

.job-mode-toggle.is-remote .job-mode-knob {
    transform: translateX(calc(-100% - 4px));
}

/* Sheet area: tab bar + active sheet workspace */
#sheet-area {
    flex: 1;
    display: flex;
    flex-direction: column;
    min-width: 0;
    overflow: hidden;
}

.sheet-workspace {
    display: flex;
    flex: 1;
    min-height: 0;
    overflow-x: auto;
    overflow-y: hidden;
    align-items: stretch;
    background: #1e1e1e;
}

.sheet-pages {
    display: contents;
}

/* Tab bar (matches Python tix.NoteBook tabs) */
#tab-bar {
    display: flex;
    flex: 0 0 auto;
    background: #1e1e1e;
    border-bottom: 1px solid #3c3c3c;
    overflow-x: auto;
    gap: 1px;
}

.sheet-tab {
    padding: 4px 14px;
    font-size: 12px;
    color: #888;
    background: #252526;
    border: none;
    border-bottom: 2px solid transparent;
    cursor: pointer;
    white-space: nowrap;
}

.sheet-tab:hover {
    color: #ccc;
    background: #2d2d2d;
}

.sheet-tab.active {
    color: #fff;
    background: #1e1e1e;
    border-bottom-color: #007acc;
}

.tab-close {
    margin-left: 8px;
    font-size: 14px;
    color: #666;
    cursor: pointer;
    line-height: 1;
}

.tab-close:hover {
    color: #ff5555;
}

/* Sheet content: hidden by default, shown when active */
.sheet-content {
    display: none;
    flex: 0 0 auto;
    min-height: 0;
    overflow: hidden;
}

.sheet-content.active {
    display: flex;
    flex-direction: row;
}

.sheet-content.has-analysis-history.active {
    flex-direction: column;
}

.sheet-content.has-analysis-history .sheet-columns {
    flex: 1 1 auto;
    width: 100%;
}

.proof-goal-wrapper {
    display: none;
    flex: 0 0 auto;
    flex-direction: column;
    min-height: 0;
}

.proof-goal-wrapper.is-visible {
    display: flex;
}

.proof-goal-wrapper[hidden] {
    display: none;
}

.analysis-history-bar {
    display: flex;
    flex: 0 0 auto;
    flex-direction: column;
    gap: 4px;
    padding: 6px 8px;
    border-bottom: 1px solid #3c3c3c;
    background: #252526;
}

.analysis-history-controls {
    display: flex;
    align-items: center;
    gap: 6px;
    min-height: 24px;
}

.analysis-history-btn {
    min-width: 44px;
}

.analysis-history-status {
    flex: 1;
    min-width: 90px;
    color: #d4d4d4;
    font-size: 12px;
}

.analysis-history-step-info {
    max-height: 72px;
    margin: 0;
    padding: 6px;
    overflow: auto;
    border: 1px solid #3c3c3c;
    color: #d4d4d4;
    background: #1e1e1e;
    font-family: Menlo, Consolas, monospace;
    font-size: 12px;
    line-height: 1.35;
    white-space: pre-wrap;
}

.proof-crg-pane {
    display: flex;
    flex: 0 0 148px;
    --resizable-row-min-height: 96px;
    min-height: 0;
    border-bottom: 1px solid #3c3c3c;
    background: #1e1e1e;
}

.proof-goal-column,
.crg-column {
    --sheet-pane-min-width: 160px;
    display: flex;
    flex-direction: column;
    min-width: 0;
    padding: 6px 8px;
}

.proof-goal-column {
    flex: 1.1;
}

.crg-column {
    flex: 1;
}

.proof-crg-column-divider {
    align-self: stretch;
    flex: 0 0 4px;
    width: 4px;
}

.proof-crg-row-divider {
    flex: 0 0 4px;
    width: 100%;
}

.proof-crg-header {
    flex: 0 0 auto;
    color: #d4d4d4;
    font-size: 12px;
    font-weight: 600;
}

.proof-goal-header {
    display: flex;
    align-items: center;
    gap: 6px;
}

.proof-goal-close-btn {
    width: 18px;
    height: 18px;
    padding: 0;
    font-size: 14px;
    line-height: 16px;
}

.proof-selected-goal {
    color: #9cdcfe;
    font-weight: 400;
}

.proof-goal-graph {
    flex: 1 1 auto;
    min-height: 68px;
    margin-top: 4px;
}

.proof-goal-info,
.transition-view {
    flex: 0 0 auto;
    max-height: 40px;
    margin: 4px 0 0;
    overflow: auto;
    color: #d4d4d4;
    font-family: Menlo, Consolas, monospace;
    font-size: 12px;
    line-height: 1.35;
    white-space: pre-wrap;
}

.crg-node-list {
    display: flex;
    flex: 0 0 auto;
    flex-wrap: wrap;
    gap: 4px;
    margin-top: 6px;
}

.crg-node-btn {
    border: 1px solid #3c3c3c;
    color: #d4d4d4;
    background: #2d2d30;
    padding: 3px 6px;
    font-size: 12px;
    cursor: pointer;
}

.crg-node-btn.selected,
.crg-node-btn:focus-visible {
    border-color: #007acc;
    outline: none;
    background: #094771;
}

.event-sheet.active {
    min-height: 0;
}

.event-viewer {
    display: flex;
    flex: 1;
    min-height: 0;
    overflow: hidden;
}

.event-tree-panel {
    flex: 1;
    min-width: 260px;
}

.event-trace-text-panel {
    flex: 1.2;
    min-width: 280px;
    border-left: 1px solid #3c3c3c;
}

.event-trace-detailed-label {
    display: inline-flex;
    align-items: center;
    gap: 4px;
    font-size: 12px;
    color: #d4d4d4;
}

.event-trace-text {
    flex: 1;
    min-height: 0;
    margin: 0;
    padding: 8px;
    overflow: auto;
    color: #d4d4d4;
    background: #1e1e1e;
    border: 0;
    white-space: pre;
    font-family: Menlo, Consolas, monospace;
    font-size: 12px;
    line-height: 1.45;
}

.event-pattern-panel {
    flex: 0 0 220px;
    min-width: 180px;
    border-left: 1px solid #3c3c3c;
}

.event-tree {
    flex: 1;
    overflow: auto;
    padding: 6px 8px;
    font-family: Menlo, Consolas, monospace;
    font-size: 12px;
}

.event-tree-list {
    list-style: none;
    margin: 0;
    padding-left: 16px;
}

.event-tree > .event-tree-list {
    padding-left: 0;
}

.event-row {
    display: flex;
    align-items: center;
    gap: 4px;
    min-height: 22px;
    color: #d4d4d4;
    cursor: default;
    user-select: none;
}

.event-row:hover {
    background: #2a2d2e;
}

.event-row.selected {
    color: #fff;
    background: #094771;
}

.event-toggle {
    flex: 0 0 18px;
    width: 18px;
    height: 18px;
    border: none;
    color: #ccc;
    background: transparent;
    cursor: pointer;
}

.event-toggle:disabled {
    cursor: default;
}

.event-text {
    white-space: nowrap;
}

.event-pattern-list {
    width: calc(100% - 16px);
    margin: 8px;
    min-height: 120px;
    color: #d4d4d4;
    background: #1e1e1e;
    border: 1px solid #3c3c3c;
}

.event-pattern-buttons {
    display: flex;
    gap: 4px;
    padding: 0 8px 8px;
}

.event-pattern-buttons .menu-btn {
    flex: 1;
}

/* Sheet columns: GOSSAFUNC-style vertical pass panes */
.sheet-columns {
    display: flex;
    flex: 0 0 auto;
    min-height: 0;
    overflow: visible;
    align-items: stretch;
}

.sheet-pane-strip {
    height: 100%;
}

/* Sheet left: ARG + Concept stacked over Details */
.sheet-left {
    flex: 1;
    display: flex;
    flex-direction: column;
    min-width: 300px;
    overflow: hidden;
}

/* Sheet main: ARG | divider | Concept (horizontal) */
.sheet-main {
    display: flex;
    flex: 1;
    min-height: 44px;
    overflow: hidden;
}

/* Horizontal divider (between top row and tutorial BiB) */
.divider-horizontal {
    flex: 0 0 4px;
    background-color: #3c3c3c;
    cursor: row-resize;
}

.divider-horizontal:hover,
.divider-horizontal.active {
    background-color: #007acc;
}

/* Tutorial container: spans bottom, below both left and right sections */
#tutorial-container {
    flex: 0 0 40%;
    display: flex;
    flex-direction: column;
    min-height: 80px;
    overflow: hidden;
}

/* --- Main Container (kept for backward compat with JS refs) --- */
#main-container {
    display: none; /* replaced by .sheet-main */
}

/* --- Panels --- */
.panel {
    display: flex;
    flex-direction: column;
    min-width: 200px;
    overflow: hidden;
}

#arg-panel {
    --sheet-pane-width: 31rem;
    --sheet-pane-min-width: 280px;
    flex: 0 0 var(--sheet-pane-width);
    border-right: none;
}

#concept-panel {
    --sheet-pane-width: 34rem;
    --sheet-pane-min-width: 300px;
    flex: 0 0 var(--sheet-pane-width);
}

.concept-sheet-panel {
    flex: 1;
}

#state-panel {
    --sheet-pane-width: 18rem;
    --sheet-pane-min-width: 220px;
    flex: 0 0 var(--sheet-pane-width);
    min-width: var(--sheet-pane-min-width);
    overflow: hidden;
}

#state-panel .sheet-pane-content {
    background-color: var(--ivy-graph-background);
}

.sheet-pane {
    flex: 0 0 var(--sheet-pane-width, 30rem);
    min-width: var(--sheet-pane-min-width, 220px);
    max-width: none;
    position: relative;
    border-right: 1px solid #3c3c3c;
    background: #1e1e1e;
}

.sheet-pane-content {
    display: flex;
    flex: 1;
    min-height: 0;
    flex-direction: column;
    overflow: hidden;
}

.sheet-pane-tab {
    display: none;
    width: 100%;
    height: 100%;
    padding: 6px 2px;
    border: 0;
    border-left: 1px solid #555;
    border-right: 1px solid #555;
    background: #151515;
    color: #dceeee;
    cursor: pointer;
    font: 700 12px/1.2 Menlo, Consolas, monospace;
    writing-mode: vertical-lr;
    transform: rotate(180deg);
    text-align: right;
    white-space: nowrap;
}

.sheet-pane-tab:hover,
.sheet-pane-tab:focus-visible {
    background: #252526;
    color: #fff;
    outline: 1px solid #007acc;
    outline-offset: -1px;
}

.sheet-pane.sheet-pane-collapsed {
    flex: 0 0 28px !important;
    min-width: 28px !important;
    max-width: 28px !important;
    border-right: 0;
}

.sheet-pane.sheet-pane-collapsed .sheet-pane-content {
    display: none;
}

.sheet-pane.sheet-pane-collapsed .sheet-pane-tab {
    display: flex;
    align-items: flex-start;
    justify-content: flex-start;
}

.sheet-pane .panel-header .column-title {
    cursor: pointer;
}

.divider.sheet-divider-hidden {
    display: none;
}

.reachability-only-sheet .sheet-left,
.reachability-only-sheet .sheet-main,
.reachability-only-sheet #arg-panel {
    flex: 1 1 auto;
    min-width: 0;
}

.reachability-only-sheet #concept-panel,
.reachability-only-sheet #divider,
.reachability-only-sheet #divider2,
.reachability-only-sheet #state-panel {
    display: none;
}

.panel-menu {
    font-size: 12px;
    color: #c8c8c8;
    cursor: pointer;
    padding: 2px 8px;
}

.panel-menu:hover {
    color: #fff;
    background-color: #3c3c3c;
    border-radius: 3px;
}

/* --- Dropdown Menus (panel header menus) --- */
.dropdown {
    position: relative;
    display: flex;
    align-items: center;
    align-self: stretch;
}

.dropdown-content {
    display: none;
    position: absolute;
    top: calc(100% + 1px);
    left: 0;
    background-color: #2d2d2d;
    border: 1px solid #555;
    border-radius: 3px;
    min-width: 160px;
    z-index: 100;
    box-shadow: 0 4px 8px rgba(0,0,0,0.4);
}

.dropdown-content.dropdown-floating {
    position: fixed;
    z-index: 999;
    overflow-y: auto;
}

.dropdown-content a {
    display: block;
    padding: 4px 12px;
    color: #c8c8c8;
    text-decoration: none;
    font-size: 12px;
    white-space: nowrap;
}

.dropdown-content a:hover {
    background-color: #094771;
    color: #fff;
}

.dropdown-content a.selected {
    background-color: #3c3c3c;
    color: #fff;
}

.dropdown-heading {
    display: block;
    padding: 4px 12px;
    background-color: #c8c8c8;
    color: #1b1b1b;
    font-size: 12px;
    font-weight: 700;
    white-space: nowrap;
    cursor: default;
    user-select: none;
}

.dynamic-menu-root {
    display: flex;
    align-items: center;
    gap: 6px;
}

.dropdown-content a.disabled {
    color: #777;
    pointer-events: none;
}

.dropdown-sep {
    height: 1px;
    background-color: #555;
    margin: 2px 0;
}

.menu-spacer {
    height: 4px;
}

.recent-files-empty {
    color: #666;
    pointer-events: none;
}

.dropdown.open .dropdown-content {
    display: block;
}

.dropdown-content a.menu-flash {
    background-color: #c8c8c8;
    color: #1e1e1e;
}

#state-label {
    font-size: 12px;
    font-weight: 600;
    color: #e0e0e0;
}

/* --- State Checkbox Table --- */
#state-controls {
    padding: 8px;
    overflow-y: auto;
    flex: 1;
}

.cti-relations-control {
    display: flex;
    flex-direction: column;
    gap: 4px;
    margin-bottom: 8px;
}

.cti-relations-control label {
    font-size: 11px;
    color: var(--ivy-relation-name-color);
}

.cti-relations-input {
    width: 100%;
    box-sizing: border-box;
    border: 1px solid #3c3c3c;
    border-radius: 3px;
    background: #1e1e1e;
    color: #ddd;
    font-size: 12px;
    padding: 4px 6px;
}

#state-checkbox-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 12px;
}

#state-checkbox-table th {
    font-weight: 600;
    color: #aaa;
    padding: 2px 4px;
    text-align: center;
    border-bottom: 1px solid #3c3c3c;
}

#state-checkbox-table th.chk-col {
    width: 28px;
}

#state-checkbox-table th.name-col {
    text-align: left;
    padding-left: 8px;
}

#state-checkbox-table th[data-state-toggle-class] {
    cursor: pointer;
    user-select: none;
}

#state-checkbox-table th[data-state-toggle-class]:hover {
    color: #e0e0e0;
}

#state-checkbox-table th[data-state-toggle-class]:focus-visible {
    outline: 1px solid #4fc1ff;
    outline-offset: 2px;
}

#state-checkbox-table td {
    padding: 3px 4px;
    text-align: center;
}

#state-checkbox-table td.name-col {
    text-align: left;
    padding-left: 8px;
    color: #c8c8c8;
}

#state-checkbox-table td.name-col a,
#state-checkbox-table td.name-col button {
    background: none;
    border: 0;
    color: var(--ivy-relation-name-color);
    cursor: pointer;
    font: inherit;
    padding: 0;
    text-align: left;
    text-decoration: none;
}

#state-checkbox-table td.name-col a:hover,
#state-checkbox-table td.name-col button:hover {
    text-decoration: underline;
}

#state-checkbox-table input[type="checkbox"] {
    width: 14px;
    height: 14px;
    cursor: pointer;
    accent-color: #007acc;
}

.state-relations-placeholder {
    color: #666;
    font-style: italic;
}

.panel-header {
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    gap: 4px;
    padding: 5px 10px 4px;
    background-color: #252526;
    border-bottom: 1px solid #3c3c3c;
    flex-shrink: 0;
    min-height: 44px;
}

#arg-panel > .sheet-pane-content > .panel-header,
#concept-panel > .sheet-pane-content > .panel-header,
#state-panel > .sheet-pane-content > .panel-header {
    height: var(--ivy-pane-header-height);
    min-height: var(--ivy-pane-header-height);
    max-height: var(--ivy-pane-header-height);
}

#concept-panel > .sheet-pane-content > .panel-header {
    position: relative;
}

.panel-header h3 {
    font-size: 12px;
    font-weight: 600;
    color: #e0e0e0;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    white-space: nowrap;
}

.column-title {
    font-size: 12px;
    font-weight: 700;
    color: #f0f0f0;
    line-height: var(--ivy-pane-title-row-height);
}

.panel-title-row {
    display: flex;
    align-items: center;
    gap: 10px;
    flex: 0 0 var(--ivy-pane-title-row-height);
    height: var(--ivy-pane-title-row-height);
    width: 100%;
    min-width: 0;
    overflow: visible;
}

.graph-background-control {
    --ivy-graph-background-slider-width: 156px;
    position: absolute;
    top: 9px;
    right: 10px;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 1px;
}

.graph-background-slider {
    width: var(--ivy-graph-background-slider-width);
    height: 18px;
    box-sizing: border-box;
    /*padding: 0 9px;*/
    appearance: none;
    -webkit-appearance: none;
    background: transparent;
    accent-color: var(--ivy-graph-slider-color, var(--ivy-graph-background));
}

.graph-background-slider-label {
    color: #fff;
    font-size: 10px;
    font-style: italic;
    line-height: 12px;
    white-space: nowrap;
    width: var(--ivy-graph-background-slider-width);
    text-align: center;
}

.graph-background-slider::-webkit-slider-runnable-track {
    height: 5px;
    border-radius: 999px;
    background: linear-gradient(
        to right,
        var(--ivy-graph-slider-color, var(--ivy-graph-background)) 0%,
        var(--ivy-graph-slider-color, var(--ivy-graph-background)) var(--ivy-graph-slider-fill, 0%),
        #111 var(--ivy-graph-slider-fill, 0%),
        #111 100%
    );
    box-shadow: 0 0 0 1px #5f6672;
}

.graph-background-slider::-moz-range-track {
    height: 5px;
    border-radius: 999px;
    background: linear-gradient(
        to right,
        var(--ivy-graph-slider-color, var(--ivy-graph-background)) 0%,
        var(--ivy-graph-slider-color, var(--ivy-graph-background)) var(--ivy-graph-slider-fill, 0%),
        #111 var(--ivy-graph-slider-fill, 0%),
        #111 100%
    );
    box-shadow: 0 0 0 1px #5f6672;
}

.graph-background-slider::-webkit-slider-thumb {
    -webkit-appearance: none;
    width: 18px;
    height: 18px;
    margin-top: -6.5px;
    border-radius: 50%;
    /*border: 0px solid #20232a; */
    background: #f0f0f0;
}

.graph-background-slider::-moz-range-thumb {
    width: 18px;
    height: 18px;
    border-radius: 50%;
    /*border: 0px solid #20232a;*/
    background: #f0f0f0;
}

.graph-background-readout {
    position: fixed;
    z-index: 10000;
    pointer-events: none;
    padding: 3px 6px;
    border: 1px solid #5f6672;
    border-radius: 4px;
    background: rgba(30, 30, 30, 0.92);
    color: #f0f0f0;
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
    font-size: 11px;
    line-height: 1.2;
    opacity: 0;
    transition: opacity 180ms ease-out;
    white-space: nowrap;
}

.graph-background-readout.visible {
    opacity: 1;
}

.editor-title-row {
    display: flex;
    align-items: baseline;
    gap: 4px;
    width: 100%;
    max-width: 100%;
    min-width: 0;
}

.editor-path {
    flex: 1 1 auto;
    min-width: 0;
    overflow: hidden;
    color: #d8d8d8;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.panel-header-actions {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 12px;
    min-height: 18px;
}

#arg-panel > .sheet-pane-content > .panel-header > .panel-header-actions,
#concept-panel > .sheet-pane-content > .panel-header > .panel-header-actions,
#state-panel > .sheet-pane-content > .panel-header > .panel-header-actions {
    flex: 0 0 var(--ivy-pane-header-actions-height);
    height: var(--ivy-pane-header-actions-height);
    min-height: var(--ivy-pane-header-actions-height);
    overflow: visible;
}

/* --- Graph Container --- */
.graph-container {
    flex: 1;
    background-color: var(--ivy-graph-background);
    position: relative;
    min-height: 0;
}

/* --- Resizable Divider --- */
.divider {
    width: 4px;
    cursor: col-resize;
    background-color: #3c3c3c;
    flex-shrink: 0;
    transition: background-color 0.15s;
}

.divider:hover,
.divider.active {
    background-color: #007acc;
}

/* --- Concept Controls (Edge & Label Toggles) --- */
#concept-controls {
    display: flex;
    gap: 16px;
    align-items: center;
    flex-wrap: wrap;
}

.toggle-section {
    display: flex;
    align-items: center;
    gap: 6px;
}

.toggle-header {
    font-size: 10px;
    color: #888;
    text-transform: uppercase;
    letter-spacing: 0.3px;
    white-space: nowrap;
}

.toggle-group {
    display: flex;
    align-items: center;
    gap: 2px;
}

.toggle-group-label {
    font-size: 11px;
    color: #aaa;
    margin-right: 2px;
    white-space: nowrap;
}

.toggle-item {
    display: inline-flex;
    align-items: center;
    gap: 2px;
    padding: 1px 4px;
    border-radius: 2px;
    cursor: pointer;
    font-size: 11px;
    color: #aaa;
    transition: background-color 0.1s;
}

.toggle-item:hover {
    background-color: #3c3c3c;
}

.toggle-item input[type="checkbox"] {
    width: 12px;
    height: 12px;
    accent-color: #007acc;
    cursor: pointer;
}

.toggle-item label {
    cursor: pointer;
    white-space: nowrap;
}

/* --- Info Panel --- */
#info-panel,
.info-panel {
    flex: 0 0 120px;
    min-height: 72px;
    background-color: #252526;
    border-top: 1px solid #3c3c3c;
    display: flex;
    flex-direction: column;
    overflow: hidden;
}

#info-header,
.info-header {
    font-size: 11px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    color: #888;
    padding: 4px 10px;
    background-color: #2d2d2d;
    border-bottom: 1px solid #3c3c3c;
    cursor: row-resize;
    flex-shrink: 0;
    user-select: none;
}

#info-header:hover,
#info-header.active,
.info-header:hover,
.info-header.active {
    background-color: #33353a;
    color: #d0d0d0;
}

#info-content,
.info-panel [id^="info-content"] {
    padding: 6px 10px;
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 12px;
    line-height: 1.5;
    color: #c8c8c8;
    overflow-y: auto;
    flex: 1;
    white-space: pre-wrap;
    word-break: break-word;
}

.constraint-facts-title {
    color: #c8c8c8;
    margin-bottom: 2px;
}

.constraint-fact {
    display: block;
    width: 100%;
    padding: 1px 0;
    border: 0;
    background: transparent;
    color: #d4d4d4;
    font: inherit;
    text-align: left;
    cursor: pointer;
}

.constraint-fact.inactive {
    color: #777;
}

.constraint-fact:focus-visible {
    outline: 1px solid #007acc;
    outline-offset: 1px;
}

/* --- Source Browser --- */
.source-browser {
    margin: 8px;
    min-height: 140px;
    max-height: 320px;
    background: #1f1f1f;
    border: 1px solid #4a4a4a;
    display: flex;
    flex-direction: column;
    overflow: hidden;
}

.source-browser-header {
    flex: 0 0 auto;
}

.source-browser-content {
    margin: 0;
    padding: 8px 0;
    overflow: auto;
    color: #d4d4d4;
    background: #181818;
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 12px;
    line-height: 1.45;
    white-space: pre;
}

.source-browser-line {
    display: block;
    min-height: 1.45em;
    padding: 0 10px;
}

.source-browser-line-highlight {
    background: #7f1f1f;
    color: #fff;
}

/* --- Context Menu --- */
.context-menu {
    position: fixed;
    background-color: #2d2d2d;
    border: 1px solid #454545;
    border-radius: 4px;
    box-shadow: 0 4px 12px rgba(0, 0, 0, 0.5);
    min-width: 180px;
    max-width: 300px;
    z-index: 1000;
    padding: 4px 0;
    user-select: none;
}

.context-menu-item {
    padding: 5px 16px;
    cursor: pointer;
    font-size: 12px;
    color: #c8c8c8;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.context-menu-item:hover {
    background-color: #094771;
    color: #fff;
}

.context-menu-separator {
    height: 1px;
    background-color: #454545;
    margin: 4px 0;
}

.context-menu-header {
    padding: 4px 16px 2px;
    font-size: 10px;
    color: #666;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    cursor: default;
}

/* --- Status Bar --- */
#statusbar {
    height: 22px;
    line-height: 22px;
    background-color: #007acc;
    color: #fff;
    padding: 0 10px;
    font-size: 12px;
    display: flex;
    align-items: center;
    gap: 14px;
    flex-shrink: 0;
    overflow: hidden;
    white-space: nowrap;
}

#statusbar .status-message {
    overflow: hidden;
    text-overflow: ellipsis;
}

#statusbar .session-id {
    margin-left: auto;
    color: rgba(255, 255, 255, 0.82);
    font-variant-numeric: tabular-nums;
}

#statusbar.error {
    background-color: #c72e2e;
}

#statusbar.success {
    background-color: #16825d;
}

#statusbar.warning {
    background-color: #8a6a00;
}

/* --- Loading Overlay --- */
#loading-overlay {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: rgba(0, 0, 0, 0.6);
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    z-index: 2000;
    gap: 16px;
}

.spinner {
    width: 40px;
    height: 40px;
    border: 3px solid #3c3c3c;
    border-top: 3px solid #007acc;
    border-radius: 50%;
    animation: spin 0.8s linear infinite;
}

@keyframes spin {
    0% { transform: rotate(0deg); }
    100% { transform: rotate(360deg); }
}

#loading-message {
    color: #c8c8c8;
    font-size: 14px;
}

.hidden-file-input {
    display: none;
}

/* --- Toasts --- */
.ivy-toast-stack {
    position: fixed;
    top: 20px;
    right: 20px;
    z-index: 10000;
    display: flex;
    flex-direction: column;
    gap: 8px;
    pointer-events: none;
}

.ivy-toast {
    max-width: 400px;
    padding: 12px 20px;
    border: 0;
    border-radius: 6px;
    color: #fff;
    background: #333;
    box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
    cursor: pointer;
    font-size: 14px;
    text-align: left;
    pointer-events: auto;
}

.ivy-toast-floating {
    position: fixed;
    top: 20px;
    right: 20px;
    z-index: 10000;
}

.ivy-toast-error {
    background: #d32f2f;
}

/* --- Scrollbar Styling --- */
html {
    scrollbar-color: #424242 #1e1e1e;
    scrollbar-width: thin;
}

/* --- Selection highlight in graph --- */
.cy-node-highlight {
    border-color: #007acc !important;
}