/* μ Playground — full-screen terminal REPL */

/* ── Full-screen shell ──────────────────────────────────────── */

html, body {
    height: 100%;
    height: 100dvh;
    overflow: hidden;
    margin: 0;
    padding: 0;
}

body {
    display: flex;
    flex-direction: column;
    background: var(--paper-deep, #e8dfc9);
}

/* ── Top bar ────────────────────────────────────────────────── */

.app-topbar {
    flex: 0 0 auto;
    display: flex;
    align-items: center;
    gap: 0;
    padding: env(safe-area-inset-top) 20px 0;
    height: calc(44px + env(safe-area-inset-top));
    background: var(--paper, #f7f4ee);
    border-top: 3px double var(--ink, #1c1917);
    border-bottom: 1px solid var(--ink, #1c1917);
    font-family: 'JetBrains Mono', monospace;
    font-size: 10.5px;
    letter-spacing: 0.14em;
    text-transform: uppercase;
}

.topbar-seal {
    font-family: 'Fraunces', serif;
    font-variation-settings: "SOFT" 50, "WONK" 1;
    font-weight: 600;
    font-size: 15px;
    letter-spacing: 0.04em;
    text-transform: none;
    color: var(--ink, #1c1917);
    margin-right: 20px;
}

.topbar-nav {
    display: flex;
    gap: 0;
    align-items: center;
    flex: 1;
}

.topbar-nav a {
    color: var(--ink-soft, #44403c);
    text-decoration: none;
    border-bottom: none;
    padding: 0 10px;
    line-height: 44px;
    transition: color 0.12s;
    font-size: 10px;
    letter-spacing: 0.16em;
}

.topbar-nav a:hover {
    color: var(--accent, #8b1a1a);
}

.topbar-nav a.active {
    color: var(--accent, #8b1a1a);
    font-weight: 500;
}

.topbar-actions {
    display: flex;
    align-items: center;
    gap: 6px;
    margin-left: auto;
}

.topbar-btn {
    background: transparent;
    border: 1px solid var(--rule, #a89c80);
    padding: 4px 12px;
    cursor: pointer;
    font-family: 'JetBrains Mono', monospace;
    font-size: 9px;
    letter-spacing: 0.14em;
    text-transform: uppercase;
    color: var(--ink-soft, #44403c);
    transition: border-color 0.12s, color 0.12s;
    border-radius: 0;
    line-height: 1.6;
}

.topbar-btn:hover {
    border-color: var(--accent, #8b1a1a);
    color: var(--ink, #1c1917);
}

/* ── Loading ────────────────────────────────────────────────── */

#loading {
    flex: 1;
    display: flex;
    align-items: center;
    justify-content: center;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    letter-spacing: 0.1em;
    color: var(--ink-soft, #4a4038);
}

/* ── Main workspace ─────────────────────────────────────────── */

#playground {
    flex: 1;
    display: flex;
    overflow: hidden;
    min-height: 0;
}

/* ── Examples sidebar ───────────────────────────────────────── */

.examples-sidebar {
    flex: 0 0 210px;
    display: flex;
    flex-direction: column;
    background: var(--paper, #f1ead9);
    border-right: 1px solid var(--rule-soft, #c8bda3);
    overflow: hidden;
    transition: flex-basis 0.2s ease, opacity 0.2s ease;
}

.examples-sidebar.collapsed {
    flex-basis: 0;
    opacity: 0;
    pointer-events: none;
}

.sidebar-header {
    flex: 0 0 auto;
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 10px 14px 8px;
    border-bottom: 1px solid var(--rule-soft, #c8bda3);
}

.sidebar-title {
    font-family: 'JetBrains Mono', monospace;
    font-size: 9px;
    letter-spacing: 0.18em;
    text-transform: uppercase;
    color: var(--ink-soft, #4a4038);
}

.sidebar-categories {
    flex: 1;
    overflow-y: auto;
    padding: 8px 0 16px;
    scrollbar-width: thin;
    scrollbar-color: var(--rule, #a89c80) transparent;
}

.sidebar-categories::-webkit-scrollbar { width: 4px; }
.sidebar-categories::-webkit-scrollbar-thumb { background: var(--rule, #a89c80); }

.category {
    padding: 0 14px;
    margin-bottom: 12px;
}

.category h4 {
    font-family: 'JetBrains Mono', monospace;
    margin: 10px 0 5px 0;
    font-size: 9px;
    color: var(--ink-soft, #4a4038);
    text-transform: uppercase;
    letter-spacing: 0.16em;
    font-weight: 400;
}

.category ul {
    list-style: none;
    margin: 0;
    padding: 0;
}

.category li {
    margin: 2px 0;
}

.example-btn {
    background: transparent;
    border: none;
    border-radius: 0;
    padding: 4px 6px;
    cursor: pointer;
    font-size: 12px;
    font-family: 'Newsreader', Georgia, serif;
    width: 100%;
    text-align: left;
    color: var(--ink-soft, #4a4038);
    transition: color 0.12s, background 0.12s;
    line-height: 1.4;
}

.example-btn:hover {
    color: var(--accent, #7a1f1f);
    background: var(--paper-deep, #e8dfc9);
}

/* ── Sidebar toggle ─────────────────────────────────────────── */

.sidebar-toggle {
    flex: 0 0 auto;
    width: 18px;
    background: var(--paper, #f1ead9);
    border: none;
    border-right: 1px solid var(--rule-soft, #c8bda3);
    cursor: pointer;
    display: flex;
    align-items: center;
    justify-content: center;
    color: var(--rule, #a89c80);
    font-size: 10px;
    font-family: 'JetBrains Mono', monospace;
    transition: color 0.12s, background 0.12s;
    padding: 0;
    writing-mode: vertical-rl;
    letter-spacing: 0.1em;
}

.sidebar-toggle:hover {
    background: var(--paper-deep, #e8dfc9);
    color: var(--accent, #7a1f1f);
}

/* ── REPL column ────────────────────────────────────────────── */

.repl-area {
    flex: 1;
    display: flex;
    flex-direction: column;
    min-width: 0;
    overflow: hidden;
}

/* Scrolling history */
.repl-history {
    flex: 1;
    overflow-y: auto;
    padding: 16px 24px 8px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    line-height: 1.6;
    color: var(--ink, #1a1612);
    background: var(--paper-deep, #e8dfc9);
    scrollbar-width: thin;
    scrollbar-color: var(--rule, #a89c80) transparent;
    min-height: 0;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

.repl-history::-webkit-scrollbar { width: 6px; }
.repl-history::-webkit-scrollbar-thumb { background: var(--rule, #a89c80); border-radius: 3px; }

.repl-entry {
    margin: 4px 0 10px;
}

.repl-entry-input {
    color: var(--ink, #1a1612);
    font-weight: 500;
    margin-bottom: 2px;
    white-space: pre-wrap;
    word-wrap: break-word;
}

.repl-entry-input::before {
    content: 'μ> ';
    color: var(--accent, #7a1f1f);
    font-weight: 600;
}

.repl-entry-output {
    color: var(--ink-soft, #4a4038);
    padding-left: 1.6em;
    margin-left: 0.4em;
    border-left: 2px solid var(--rule, #a89c80);
    white-space: pre-wrap;
    word-wrap: break-word;
}

.repl-entry-output.error {
    color: var(--accent, #7a1f1f);
}

.repl-entry-output.empty {
    color: var(--rule, #a89c80);
    font-style: italic;
}

.output-expand-btn {
    cursor: pointer;
    color: var(--accent, #7a1f1f);
    opacity: 0.55;
    font-size: 0.82em;
    user-select: none;
}

.output-expand-btn:hover {
    opacity: 1;
}

/* Plot output */
.plot-output {
    margin: 6px 0 4px 2.2em;
    position: relative;
}

.plot-resize-handle {
    position: absolute;
    bottom: 0;
    right: 0;
    width: 18px;
    height: 18px;
    cursor: nwse-resize;
    z-index: 10;
}

.plot-resize-handle::after {
    content: '';
    position: absolute;
    bottom: 4px;
    right: 4px;
    width: 8px;
    height: 8px;
    border-right: 2px solid var(--rule, #a89c80);
    border-bottom: 2px solid var(--rule, #a89c80);
    border-radius: 1px;
    opacity: 0.6;
    transition: opacity 0.12s;
}

.plot-resize-handle:hover::after {
    opacity: 1;
    border-color: var(--accent, #7a1f1f);
}

.plot-output svg {
    max-width: 100%;
    height: auto;
    border: 1px solid var(--rule, #a89c80);
    background: var(--paper, #f1ead9);
}

/* 3D plot interactive rotation */
.plot-output.plot3d-interactive svg {
    cursor: grab;
    user-select: none;
}

.plot-output.plot3d-dragging svg {
    cursor: grabbing;
}

.plot-output.plot3d-static svg {
    opacity: 0.85;
    cursor: default;
}

/* ── Input zone (pinned to bottom) ──────────────────────────── */

.repl-input-zone {
    flex: 0 0 auto;
    border-top: 1px solid var(--rule, #a89c80);
    background: var(--paper, #f1ead9);
    padding: 10px 16px calc(10px + env(safe-area-inset-bottom));
    display: flex;
    align-items: flex-end;
    gap: 8px;
}

.input-prompt {
    font-family: 'JetBrains Mono', monospace;
    font-size: 14px;
    font-weight: 600;
    color: var(--accent, #7a1f1f);
    line-height: 1;
    padding-bottom: 8px;
    flex: 0 0 auto;
    user-select: none;
}

#repl-input {
    flex: 1;
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    line-height: 1.5;
    padding: 6px 8px;
    border: 1px solid var(--rule, #a89c80);
    background: var(--paper, #f1ead9);
    color: var(--ink, #1a1612);
    resize: none;
    overflow: hidden;
    min-height: 32px;
    max-height: 96px;
    overflow-y: auto;
    border-radius: 0;
    scrollbar-width: thin;
}

#repl-input:focus {
    outline: none;
    border-color: var(--accent, #7a1f1f);
}

.run-btn {
    background: var(--accent, #7a1f1f);
    color: var(--paper, #f1ead9);
    border: none;
    padding: 6px 16px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    letter-spacing: 0.14em;
    text-transform: uppercase;
    cursor: pointer;
    transition: background 0.12s;
    border-radius: 0;
    white-space: nowrap;
    height: 32px;
    flex: 0 0 auto;
}

.run-btn:hover {
    background: var(--accent-soft, #a64545);
}

.repl-hints {
    padding: 4px 16px 6px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 9px;
    letter-spacing: 0.08em;
    color: var(--rule, #a89c80);
    background: var(--paper, #f1ead9);
    flex: 0 0 auto;
    border-top: 1px solid var(--paper-deep, #e8dfc9);
}

kbd {
    background: var(--paper-deep, #e8dfc9);
    border: 1px solid var(--rule, #a89c80);
    padding: 0 3px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.9em;
    color: var(--ink, #1a1612);
}

/* ── Dark mode ──────────────────────────────────────────────── */

@media (prefers-color-scheme: dark) {
    body {
        background: var(--paper-deep, #222226);
    }

    .app-topbar {
        background: var(--paper, #1a1a1e);
        border-top-color: var(--rule, #4a4540);
        border-bottom-color: var(--rule, #4a4540);
    }

    .repl-history {
        background: var(--paper-deep, #222226);
    }

    .repl-input-zone {
        background: var(--paper, #1a1a1e);
        border-top-color: var(--rule, #4a4540);
    }

    #repl-input {
        background: var(--paper-deep, #222226);
        border-color: var(--rule, #4a4540);
        color: var(--ink, #e8e4de);
    }

    .repl-hints {
        background: var(--paper, #1a1a1e);
    }

    kbd {
        background: var(--paper-deep, #222226);
        border-color: var(--rule, #4a4540);
        color: var(--ink, #e8e4de);
    }

    .examples-sidebar {
        background: var(--paper, #1a1a1e);
        border-right-color: var(--rule, #4a4540);
    }

    .sidebar-toggle {
        background: var(--paper, #1a1a1e);
        border-right-color: var(--rule, #4a4540);
    }

    .plot-output svg {
        background: var(--paper-deep, #222226);
        border-color: var(--rule, #4a4540);
    }
}

/* ── Responsive ─────────────────────────────────────────────── */

@media (max-width: 640px) {
    .examples-sidebar {
        display: none;
    }
    .sidebar-toggle {
        display: none;
    }
    .topbar-nav a:not(.active) {
        display: none;
    }
    .repl-hints {
        display: none;
    }
}