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

:root {
    --bg-primary: #12131a;
    --bg-secondary: #181a24;
    --bg-panel: #1a1d2a;
    --bg-hover: #252a3a;
    --bg-input: #0e1018;
    --border: #2a2e40;
    --text: #d0d0e0;
    --text-muted: #7a7a9a;
    --accent: #5aafff;
    --accent-dim: #3a7acc;
    --bad-color: #ff5555;
    --state-color: #6fdc8c;
    --constraint-color: #e8e070;
    --memory-color: #f0c674;
    --input-color: #82b4e8;
    --font-mono: 'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'Consolas', monospace;
    --font-sans: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
    --radius: 6px;
    --radius-sm: 4px;
}

html, body {
    height: 100%;
    font-family: var(--font-sans);
    font-size: 13px;
    color: var(--text);
    background: var(--bg-primary);
    overflow: hidden;
}

/* ============ Layout ============ */
.app {
    display: grid;
    grid-template-columns: 260px 1fr 300px;
    grid-template-rows: auto 1fr auto;
    height: 100vh;
}

.header {
    grid-column: 1 / -1;
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 8px 16px;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border);
}

.header h1 {
    font-size: 15px;
    font-weight: 700;
    color: var(--accent);
    font-family: var(--font-mono);
    letter-spacing: -0.3px;
}

.header .subtitle {
    font-size: 11px;
    color: var(--text-muted);
}

/* ============ Left Panel ============ */
.left-panel {
    grid-column: 1;
    grid-row: 2;
    display: flex;
    flex-direction: column;
    background: var(--bg-panel);
    border-right: 1px solid var(--border);
    overflow: hidden;
}

.panel-section {
    padding: 10px 12px;
    border-bottom: 1px solid var(--border);
}

.panel-section h3 {
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.8px;
    color: var(--text-muted);
    margin-bottom: 8px;
    font-weight: 600;
}

.btn-group {
    display: flex;
    gap: 4px;
    flex-wrap: wrap;
}

.btn {
    display: inline-flex;
    align-items: center;
    gap: 4px;
    padding: 5px 10px;
    font-size: 11px;
    font-family: var(--font-sans);
    color: var(--text);
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    cursor: pointer;
    transition: all 0.15s ease;
}

.btn:hover {
    background: var(--bg-hover);
    border-color: var(--accent-dim);
}

.btn:active {
    transform: scale(0.97);
}

.btn-primary {
    background: #1a3f6a;
    border-color: var(--accent-dim);
    color: var(--accent);
}

.btn-primary:hover {
    background: #2a5080;
}

.btn-small {
    padding: 3px 8px;
    font-size: 10px;
}

/* Filters */
.filter-row {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 2px 0;
    font-size: 11px;
}

.filter-row input[type="checkbox"] {
    accent-color: var(--accent);
}

/* Depth control */
.depth-control {
    margin-top: 6px;
    margin-bottom: 4px;
}

.depth-control.hidden {
    display: none;
}

.depth-control input[type="range"] {
    flex: 1;
    height: 3px;
    accent-color: var(--accent);
}

.depth-control label {
    font-size: 11px;
    color: var(--text-muted);
    min-width: 40px;
}

.depth-control span {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--accent);
    min-width: 24px;
    text-align: right;
}

/* Layout toggle */
.layout-toggle {
    display: flex;
    gap: 10px;
    margin-bottom: 8px;
}

.layout-option {
    display: flex;
    align-items: center;
    gap: 4px;
    font-size: 11px;
    cursor: pointer;
    color: var(--text);
}

.layout-option input[type="radio"] {
    accent-color: var(--accent);
}

/* Collapsible clump options */
.collapsible-header {
    font-size: 11px;
    color: var(--text-muted);
    cursor: pointer;
    padding: 4px 0;
    user-select: none;
}

.collapsible-header:hover {
    color: var(--text);
}

.clump-options {
    padding-left: 4px;
}

.clump-options.collapsed {
    display: none;
}

/* Subgraph selector */
.select-root {
    width: 100%;
    padding: 5px 8px;
    font-size: 11px;
    font-family: var(--font-mono);
    color: var(--text);
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    outline: none;
    cursor: pointer;
}

.select-root:focus {
    border-color: var(--accent);
}

.subgraph-info {
    margin-bottom: 6px;
    font-size: 11px;
}

/* Search */
.search-row {
    display: flex;
    gap: 4px;
}

.search-row input {
    flex: 1;
    padding: 5px 8px;
    font-size: 11px;
    font-family: var(--font-mono);
    color: var(--text);
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    outline: none;
}

.search-row input:focus {
    border-color: var(--accent);
}

/* Node list */
.node-list-container {
    flex: 1;
    overflow-y: auto;
    padding: 6px 8px;
}

.list-category {
    margin-bottom: 6px;
}

.list-cat-header {
    font-size: 10px;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.6px;
    padding: 3px 8px;
    border-radius: 3px;
    margin-bottom: 1px;
}

.list-cat-header.bad { color: var(--bad-color); background: rgba(255,85,85,0.08); }
.list-cat-header.constraint { color: var(--constraint-color); background: rgba(232,224,112,0.08); }
.list-cat-header.state { color: var(--state-color); background: rgba(111,220,140,0.08); }
.list-cat-header.input { color: var(--input-color); background: rgba(130,180,232,0.08); }
.list-cat-header.memory { color: var(--memory-color); background: rgba(240,198,116,0.08); }
.list-cat-header.logic { color: var(--text-muted); }
.list-cat-header.constant { color: var(--text-muted); }
.list-cat-header.sort { color: var(--text-muted); }

.list-item {
    display: block;
    padding: 2px 8px;
    font-size: 11px;
    color: var(--text);
    text-decoration: none;
    border-radius: 3px;
    cursor: pointer;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
    transition: background 0.1s;
}

.list-item:hover {
    background: var(--bg-hover);
}

.list-nid {
    color: var(--text-muted);
    font-family: var(--font-mono);
    font-size: 10px;
}

/* ============ Graph Canvas ============ */
.graph-area {
    grid-column: 2;
    grid-row: 2;
    position: relative;
    background: var(--bg-primary);
    /* Subtle grid pattern */
    background-image:
        radial-gradient(circle, #1a1d28 1px, transparent 1px);
    background-size: 24px 24px;
}

#cy {
    width: 100%;
    height: 100%;
}

.toolbar {
    position: absolute;
    bottom: 12px;
    left: 50%;
    transform: translateX(-50%);
    display: flex;
    gap: 2px;
    background: var(--bg-panel);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 3px;
    z-index: 10;
    box-shadow: 0 4px 16px rgba(0,0,0,0.3);
}

.toolbar .btn {
    padding: 4px 10px;
    font-size: 13px;
    border: none;
    background: transparent;
}

.toolbar .btn:hover {
    background: var(--bg-hover);
}

/* Legend */
.legend {
    position: absolute;
    top: 10px;
    right: 10px;
    background: rgba(26, 29, 42, 0.92);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 8px 12px;
    z-index: 10;
    font-size: 10px;
    backdrop-filter: blur(6px);
}

.legend-title {
    font-size: 9px;
    text-transform: uppercase;
    letter-spacing: 0.8px;
    color: var(--text-muted);
    margin-bottom: 6px;
    font-weight: 600;
}

.legend-item {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 1px 0;
    color: var(--text);
}

.legend-swatch {
    display: inline-block;
    width: 14px;
    height: 10px;
    border-radius: 2px;
    border: 1.5px solid;
}

/* ============ Right Panel ============ */
.right-panel {
    grid-column: 3;
    grid-row: 2;
    display: flex;
    flex-direction: column;
    background: var(--bg-panel);
    border-left: 1px solid var(--border);
    overflow: hidden;
}

.right-panel .panel-section {
    overflow-y: auto;
}

.right-panel .detail-panel {
    flex: 1;
    overflow-y: auto;
    padding: 10px 12px;
}

.right-panel .stats-panel {
    max-height: 250px;
    overflow-y: auto;
    padding: 10px 12px;
    border-top: 1px solid var(--border);
}

.detail-header {
    display: flex;
    align-items: center;
    gap: 8px;
    margin-bottom: 10px;
}

.detail-nid {
    font-family: var(--font-mono);
    font-size: 15px;
    font-weight: 700;
    color: var(--accent);
}

.detail-op {
    font-family: var(--font-mono);
    font-size: 12px;
    font-weight: 600;
    padding: 2px 8px;
    border-radius: var(--radius-sm);
}

.detail-op.bad { color: var(--bad-color); background: rgba(255,85,85,0.12); }
.detail-op.constraint { color: var(--constraint-color); background: rgba(232,224,112,0.12); }
.detail-op.state { color: var(--state-color); background: rgba(111,220,140,0.12); }
.detail-op.input { color: var(--input-color); background: rgba(130,180,232,0.12); }
.detail-op.memory { color: var(--memory-color); background: rgba(240,198,116,0.12); }
.detail-op.logic { color: var(--text); background: rgba(255,255,255,0.04); }
.detail-op.constant { color: #7ab4f8; background: rgba(122,180,248,0.08); }
.detail-op.sort { color: var(--text-muted); background: rgba(255,255,255,0.02); }

.detail-row {
    padding: 2px 0;
    font-size: 11px;
    word-break: break-all;
}

.detail-row .label {
    color: var(--text-muted);
    font-weight: 500;
}

.detail-section {
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.6px;
    color: var(--text-muted);
    margin-top: 12px;
    margin-bottom: 5px;
    padding-bottom: 3px;
    border-bottom: 1px solid var(--border);
    font-weight: 600;
}

.detail-links {
    display: flex;
    flex-direction: column;
    gap: 1px;
}

.node-link {
    display: block;
    padding: 2px 6px;
    font-size: 11px;
    font-family: var(--font-mono);
    color: var(--accent);
    text-decoration: none;
    cursor: pointer;
    border-radius: 3px;
    transition: background 0.1s;
}

.node-link:hover {
    background: var(--bg-hover);
    text-decoration: underline;
}

.raw-line {
    font-family: var(--font-mono);
    font-size: 10px;
    padding: 8px;
    background: var(--bg-input);
    border-radius: var(--radius-sm);
    white-space: pre-wrap;
    word-break: break-all;
    color: var(--text);
    border: 1px solid var(--border);
}

.stat-row {
    display: flex;
    justify-content: space-between;
    padding: 2px 0;
    font-size: 11px;
}

.stat-row .bad { color: var(--bad-color); font-weight: 600; }
.stat-row .state { color: var(--state-color); }

.placeholder {
    color: var(--text-muted);
    font-style: italic;
    text-align: center;
    padding: 20px;
    font-size: 11px;
}

.text-muted {
    color: var(--text-muted);
    font-size: 11px;
}

/* ============ Status Bar ============ */
.status-bar {
    grid-column: 1 / -1;
    grid-row: 3;
    padding: 3px 16px;
    font-size: 10px;
    font-family: var(--font-mono);
    color: var(--text-muted);
    background: var(--bg-secondary);
    border-top: 1px solid var(--border);
}

/* ============ Paste Overlay ============ */
.paste-overlay {
    position: fixed;
    inset: 0;
    background: rgba(0,0,0,0.75);
    display: flex;
    align-items: center;
    justify-content: center;
    z-index: 1000;
    backdrop-filter: blur(4px);
}

.paste-overlay.hidden { display: none; }

.paste-dialog {
    background: var(--bg-panel);
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 20px;
    width: 600px;
    max-height: 80vh;
    box-shadow: 0 16px 48px rgba(0,0,0,0.5);
}

.paste-dialog h3 {
    margin-bottom: 10px;
    color: var(--accent);
    font-size: 14px;
}

.paste-dialog textarea {
    width: 100%;
    height: 300px;
    font-family: var(--font-mono);
    font-size: 12px;
    color: var(--text);
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    padding: 10px;
    resize: vertical;
    outline: none;
}

.paste-dialog textarea:focus {
    border-color: var(--accent);
}

.paste-dialog .btn-group {
    margin-top: 10px;
    justify-content: flex-end;
}

/* ============ Scrollbar ============ */
::-webkit-scrollbar { width: 5px; }
::-webkit-scrollbar-track { background: transparent; }
::-webkit-scrollbar-thumb { background: var(--border); border-radius: 3px; }
::-webkit-scrollbar-thumb:hover { background: #4a5a7a; }

/* ============ Hidden file input ============ */
#file-input { display: none; }
#witness-file-input { display: none; }

/* ============ Witness Controls ============ */
.witness-controls {
    margin-top: 8px;
    display: flex;
    flex-direction: column;
    gap: 5px;
}

.witness-controls.hidden {
    display: none;
}

.witness-step-display {
    text-align: center;
    font-family: var(--font-mono);
    font-size: 13px;
    font-weight: 700;
    color: var(--accent);
    padding: 4px 0;
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
}

.witness-playback {
    display: flex;
    justify-content: center;
    gap: 2px;
}

.witness-btn {
    padding: 4px 8px !important;
    font-size: 12px !important;
    min-width: 32px;
    text-align: center;
    justify-content: center;
}

.witness-btn-play {
    background: #1a3f6a !important;
    border-color: var(--accent-dim) !important;
    min-width: 40px;
}

.witness-btn-play.playing {
    background: #6a3f1a !important;
    border-color: #ffaa44 !important;
}

.witness-speed-row {
    display: flex;
    align-items: center;
    gap: 6px;
    font-size: 10px;
    color: var(--text-muted);
}

.witness-speed-row input[type="range"] {
    flex: 1;
    height: 3px;
    accent-color: var(--accent);
}

.witness-speed-row span {
    font-family: var(--font-mono);
    font-size: 10px;
    min-width: 30px;
}

.witness-btn-close {
    font-size: 10px !important;
    padding: 3px 8px !important;
    color: var(--bad-color) !important;
    border-color: rgba(255, 85, 85, 0.2) !important;
}

.witness-btn-close:hover {
    background: rgba(255, 85, 85, 0.12) !important;
    border-color: var(--bad-color) !important;
}