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

:root {
    --bg: #000040;
    --bg-lighter: #000060;
    --bg-panel: #00003a;
    --text: #7FFF00;
    --text-dim: #5faa00;
    --text-muted: #3a7700;
    --border: #333380;
    --border-light: #4444aa;
    --error: #ff4444;
    --warning: #ffaa00;
    --white: #e0e0e0;
    --green-btn: #7FFF00;
    --green-btn-hover: #9fff44;
    --font: 'Courier Prime', 'Courier New', monospace;
}

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

/* ── Top Bar ─────────────────────────────────────────────── */
#top-bar {
    display: flex;
    align-items: center;
    justify-content: space-between;
    height: 48px;
    padding: 0 16px;
    background: var(--bg-lighter);
    border-bottom: 1px solid var(--border);
    flex-shrink: 0;
}

.top-bar-left {
    display: flex;
    align-items: center;
    gap: 12px;
}

.top-bar-right {
    display: flex;
    align-items: center;
    gap: 12px;
    position: relative;
}

.logo {
    font-size: 20px;
    font-weight: 700;
    color: var(--green-btn);
    letter-spacing: 3px;
    user-select: none;
}

#execute-btn {
    background: var(--green-btn);
    color: var(--bg);
    border: none;
    padding: 6px 16px;
    font-family: var(--font);
    font-size: 13px;
    font-weight: 700;
    cursor: pointer;
    border-radius: 3px;
    transition: background 0.15s;
}

#execute-btn:hover {
    background: var(--green-btn-hover);
}

#execute-btn:disabled {
    opacity: 0.5;
    cursor: not-allowed;
}

#examples-dropdown {
    background: var(--bg-panel);
    color: var(--text);
    border: 1px solid var(--border);
    padding: 5px 8px;
    font-family: var(--font);
    font-size: 12px;
    cursor: pointer;
    border-radius: 3px;
}

#examples-dropdown option {
    background: var(--bg);
    color: var(--text);
}

.top-bar-link {
    color: var(--text-dim);
    text-decoration: none;
    font-size: 12px;
    padding: 4px 8px;
    border: 1px solid var(--border);
    border-radius: 3px;
    transition: color 0.15s, border-color 0.15s;
}

.top-bar-link:hover {
    color: var(--text);
    border-color: var(--border-light);
}

#env-badge {
    font-size: 10px;
    padding: 2px 6px;
    border-radius: 3px;
    text-transform: uppercase;
    letter-spacing: 1px;
    font-weight: 700;
}

#env-badge.local {
    background: #335500;
    color: var(--green-btn);
}

#env-badge.dev {
    background: #553300;
    color: var(--warning);
}

#env-badge.prod {
    display: none;
}

/* ── Login ────────────────────────────────────────────────── */
.login-btn {
    display: flex;
    align-items: center;
    gap: 6px;
    background: transparent;
    border: 1px solid var(--border);
    color: var(--text-dim);
    padding: 4px 12px;
    font-family: var(--font);
    font-size: 12px;
    cursor: pointer;
    border-radius: 3px;
    transition: color 0.15s, border-color 0.15s;
}

.login-btn:hover {
    color: var(--text);
    border-color: var(--border-light);
}

.user-avatar {
    width: 22px;
    height: 22px;
    border-radius: 50%;
}

.hidden {
    display: none !important;
}

.profile-dropdown {
    position: absolute;
    top: 100%;
    right: 0;
    background: var(--bg-lighter);
    border: 1px solid var(--border);
    border-radius: 3px;
    padding: 4px 0;
    min-width: 120px;
    z-index: 100;
    margin-top: 4px;
}

.dropdown-item {
    display: block;
    width: 100%;
    background: none;
    border: none;
    color: var(--text-dim);
    padding: 8px 16px;
    font-family: var(--font);
    font-size: 12px;
    cursor: pointer;
    text-align: left;
}

.dropdown-item:hover {
    background: var(--bg-panel);
    color: var(--text);
}

/* ── Main Layout ─────────────────────────────────────────── */
#main-container {
    display: flex;
    height: calc(100vh - 48px);
}

#editor-panel {
    display: flex;
    flex-direction: column;
    width: 60%;
    min-width: 200px;
    overflow: hidden;
}

#results-panel {
    display: flex;
    flex-direction: column;
    flex: 1;
    min-width: 200px;
    overflow: hidden;
}

#divider {
    width: 5px;
    background: var(--border);
    cursor: col-resize;
    flex-shrink: 0;
    transition: background 0.15s;
}

#divider:hover,
#divider.dragging {
    background: var(--green-btn);
}

/* ── Panel Headers ───────────────────────────────────────── */
#editor-header,
#results-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 6px 12px;
    background: var(--bg-panel);
    border-bottom: 1px solid var(--border);
    flex-shrink: 0;
}

.panel-title {
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--text-muted);
}

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

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

/* ── CodeMirror Theme ────────────────────────────────────── */
#editor-container {
    flex: 1;
    overflow: hidden;
}

.CodeMirror {
    height: 100%;
    background: var(--bg) !important;
    color: var(--text) !important;
    font-family: var(--font) !important;
    font-size: 14px !important;
    line-height: 1.5 !important;
}

.CodeMirror-gutters {
    background: var(--bg-panel) !important;
    border-right: 1px solid var(--border) !important;
}

.CodeMirror-linenumber {
    color: var(--text-muted) !important;
}

.CodeMirror-cursor {
    border-left-color: var(--green-btn) !important;
}

.CodeMirror-selected {
    background: rgba(127, 255, 0, 0.15) !important;
}

.CodeMirror-focused .CodeMirror-selected {
    background: rgba(127, 255, 0, 0.2) !important;
}

.CodeMirror-activeline-background {
    background: rgba(127, 255, 0, 0.05) !important;
}

.CodeMirror-matchingbracket {
    color: var(--green-btn) !important;
    text-decoration: underline;
}

/* SHEAF syntax colors */
.cm-s-sheaf .cm-keyword { color: #7FFF00; font-weight: bold; }
.cm-s-sheaf .cm-string { color: #FFD700; }
.cm-s-sheaf .cm-comment { color: #666699; font-style: italic; }
.cm-s-sheaf .cm-number { color: #FF69B4; }
.cm-s-sheaf .cm-atom { color: #FF69B4; }
.cm-s-sheaf .cm-variable { color: #e0e0e0; }
.cm-s-sheaf .cm-operator { color: #7FFF00; }
.cm-s-sheaf .cm-option { color: #FF8C00; }
.cm-s-sheaf .cm-uuid { color: #00CED1; }
.cm-s-sheaf .cm-error-line { background: rgba(255, 68, 68, 0.2); }

/* ── Results Panel ───────────────────────────────────────── */
#results-container {
    flex: 1;
    overflow-y: auto;
    padding: 12px;
}

.results-placeholder {
    color: var(--text-muted);
    text-align: center;
    padding-top: 40%;
    font-size: 13px;
}

.results-placeholder kbd {
    background: var(--bg-lighter);
    border: 1px solid var(--border);
    padding: 2px 6px;
    border-radius: 3px;
    font-family: var(--font);
    font-size: 12px;
}

/* Loading */
.results-loading {
    display: flex;
    align-items: center;
    gap: 10px;
    color: var(--text-dim);
    padding: 20px 0;
}

.loading-spinner {
    width: 16px;
    height: 16px;
    border: 2px solid var(--border);
    border-top-color: var(--green-btn);
    border-radius: 50%;
    animation: spin 0.8s linear infinite;
}

@keyframes spin {
    to { transform: rotate(360deg); }
}

/* Errors */
.results-errors {
    margin-bottom: 12px;
}

.error-item {
    background: rgba(255, 68, 68, 0.1);
    border-left: 3px solid var(--error);
    padding: 8px 12px;
    margin-bottom: 6px;
    color: var(--error);
    font-size: 13px;
    white-space: pre-wrap;
    word-break: break-word;
}

/* Bindings */
.results-bindings {
    /* container for binding items */
}

.binding-item {
    margin-bottom: 16px;
    border: 1px solid var(--border);
    border-radius: 3px;
    overflow: hidden;
}

.binding-header {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 8px 12px;
    background: var(--bg-panel);
    border-bottom: 1px solid var(--border);
}

.binding-name {
    color: var(--white);
    font-weight: 700;
    font-size: 14px;
}

.binding-type {
    color: var(--text-muted);
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.5px;
}

.binding-subtitle {
    font-size: 12px;
    color: var(--text-dim);
    font-style: italic;
    margin-left: auto;
    max-width: 60%;
    text-align: right;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.binding-toggle {
    margin-left: auto;
    color: var(--text-muted);
    font-size: 11px;
    user-select: none;
}

.binding-header[style*="cursor"] .binding-name {
    color: var(--white);
}

.binding-header[style*="cursor"]:hover {
    background: var(--bg-lighter);
}

.binding-value {
    padding: 10px 12px;
    font-size: 13px;
    color: var(--text);
    overflow-x: auto;
}

.binding-value pre {
    margin: 0;
    white-space: pre-wrap;
    word-break: break-word;
    font-family: var(--font);
    font-size: 13px;
}

.binding-value .inline-val {
    font-size: 17px;
    display: block;
    border-left: 3px solid var(--green-btn);
    padding-left: 10px;
    color: var(--text);
}

.proof-annotation {
    padding: 8px 12px;
    font-size: 12px;
    color: var(--text-dim);
    border-top: 1px solid var(--border);
    font-style: italic;
}
.proof-annotation.proof-not-found {
    color: var(--warning);
}
.inline-val.proof-true {
    color: #7FFF00;
    font-weight: bold;
}
.inline-val.proof-false {
    color: var(--warning);
    font-weight: bold;
}

/* Tree container inside binding */
.binding-tree-container {
    min-height: 120px;
    overflow-x: auto;
}

.binding-tree-container .tree-wrapper {
    width: 100%;
}

.binding-tree-container .tree-svg {
    display: block;
}

/* ── DAG Section ─────────────────────────────────────────── */
.results-dag {
    margin-top: 12px;
    border: 1px solid var(--border);
    border-radius: 3px;
    overflow: hidden;
}

.dag-header {
    padding: 8px 12px;
    background: var(--bg-panel);
    border-bottom: 1px solid var(--border);
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--text-muted);
}

.dag-levels {
    padding: 8px 12px;
}

.dag-level {
    display: flex;
    align-items: center;
    gap: 8px;
    padding: 3px 0;
    font-size: 12px;
    color: var(--text-dim);
}

.dag-level-name {
    color: var(--white);
    min-width: 100px;
}

.dag-level-time {
    color: var(--text-muted);
}

/* ── Tree Visualization (shared with console) ────────────── */
.tree-wrapper {
    border: 1px solid var(--border);
    border-radius: 4px;
    padding: 20px;
    margin: 10px 0;
    background: rgba(0, 0, 32, 0.3);
    position: relative;
    min-height: 150px;
    display: block !important;
    overflow: visible;
}

.tree-wrapper svg {
    display: block;
    margin-bottom: 20px;
}

.tree-svg {
    width: 100%;
    min-height: 150px;
    background: transparent;
}

.tree-node {
    cursor: pointer;
}

.tree-node rect {
    fill: #000000;
    stroke-width: 2;
    transition: all 0.2s ease;
    pointer-events: all;
}

.tree-node.verb rect { stroke: #FF0000; }
.tree-node.noun rect { stroke: #0080FF; }
.tree-node.modifier rect { stroke: #FFFF00; }
.tree-node.mark rect { stroke: #00FF00; }
.tree-node.other rect { stroke: #808080; }

.tree-node text {
    font-family: inherit;
    font-size: 18px;
    text-anchor: middle;
    dominant-baseline: middle;
    transition: all 0.2s ease;
    pointer-events: none;
}

.tree-node.verb text { fill: #FF0000; }
.tree-node.noun text { fill: #0080FF; }
.tree-node.modifier text { fill: #FFFF00; }
.tree-node.mark text { fill: #00FF00; }
.tree-node.other text { fill: #808080; }

.tree-node:hover rect {
    filter: drop-shadow(0 0 8px currentColor);
    stroke-width: 3;
}

.tree-link {
    fill: none;
    stroke-width: 2;
    opacity: 0.8;
}

.tree-link.agent { stroke: #FFA500; }
.tree-link.patient { stroke: #87CEEB; }
.tree-link.combinator { stroke: #808080; }
.tree-link.theme { stroke: #90EE90; }
.tree-link.location { stroke: #DDA0DD; }
.tree-link.other { stroke: #606060; }

/* ── Tooltip ─────────────────────────────────────────────── */
.node-tooltip {
    position: absolute;
    background: rgba(0, 0, 40, 0.95);
    border: 1px solid var(--border-light);
    border-radius: 4px;
    padding: 10px;
    font-size: 12px;
    color: var(--white);
    pointer-events: auto;
    z-index: 200;
    min-width: 150px;
    max-width: 400px;
    width: fit-content;
    display: none;
}

.node-tooltip.visible {
    display: block;
}

.tooltip-field {
    display: flex;
    margin-bottom: 8px;
    gap: 12px;
    align-items: flex-start;
}

.field-name {
    font-weight: bold;
    color: #FFFFFF;
    flex-shrink: 0;
    min-width: 60px;
}

.field-value {
    color: var(--text-color);
    text-align: left;
    word-break: break-word;
}

.tooltip-definition {
    margin-top: 12px;
    padding-top: 12px;
    border-top: 1px solid var(--border);
    font-style: italic;
    color: #A0A0A0;
    line-height: 1.4;
}

/* ── Scrollbar ───────────────────────────────────────────── */
::-webkit-scrollbar {
    width: 8px;
    height: 8px;
}

::-webkit-scrollbar-track {
    background: var(--bg);
}

::-webkit-scrollbar-thumb {
    background: var(--border);
    border-radius: 4px;
}

::-webkit-scrollbar-thumb:hover {
    background: var(--border-light);
}

/* ── Responsive ──────────────────────────────────────────── */
@media (max-width: 768px) {
    #main-container {
        flex-direction: column;
    }

    #editor-panel {
        width: 100% !important;
        height: 50%;
    }

    #results-panel {
        width: 100%;
        height: 50%;
    }

    #divider {
        width: 100%;
        height: 5px;
        cursor: row-resize;
    }

    .top-bar-left {
        gap: 8px;
    }

    .logo {
        font-size: 16px;
    }

    #examples-dropdown {
        max-width: 100px;
    }
}

/* ── reCAPTCHA badge hide ────────────────────────────────── */
.grecaptcha-badge {
    visibility: hidden !important;
}