/* ===== Sci REPL — Dark Mobile-First Theme ===== */

:root {
    --bg-primary: #0d1117;
    --bg-secondary: #161b22;
    --bg-card: #1c2128;
    --bg-input: #0d1117;
    --border: #30363d;
    --text-primary: #e6edf3;
    --text-secondary: #8b949e;
    --text-muted: #484f58;
    --accent: #58a6ff;
    --accent-glow: rgba(88, 166, 255, 0.15);
    --green: #3fb950;
    --orange: #d29922;
    --red: #f85149;
    --font-mono: 'Fira Code', 'Cascadia Code', 'JetBrains Mono', 'SF Mono', monospace;
    --font-sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Noto Sans', Helvetica, Arial, sans-serif;
    --radius: 10px;
    --card-gap: 12px;
}

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

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

/* ===== Loading Overlay ===== */

#loading-overlay {
    position: fixed;
    inset: 0;
    z-index: 1000;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    background: var(--bg-primary);
    gap: 16px;
    transition: opacity 0.4s ease;
}

#loading-overlay.hidden {
    opacity: 0;
    pointer-events: none;
}

.spinner {
    width: 48px;
    height: 48px;
    border: 3px solid var(--border);
    border-top-color: var(--accent);
    border-radius: 50%;
    animation: spin 0.8s linear infinite;
}

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

#loading-overlay p {
    color: var(--text-secondary);
    font-size: 14px;
}

.loading-sub {
    font-size: 12px !important;
    color: var(--text-muted) !important;
}

/* ===== Progress Bar ===== */

.progress-bar {
    width: 100%;
    height: 6px;
    background: var(--border);
    border-radius: 3px;
    overflow: hidden;
    margin: 12px 0 8px;
}
.progress-fill {
    height: 100%;
    background: var(--accent);
    border-radius: 3px;
    width: 30%;
    animation: progress-pulse 1.8s ease-in-out infinite;
}
@keyframes progress-pulse {
    0%, 100% { width: 15%; margin-left: 0; }
    50% { width: 40%; margin-left: 30%; }
}

/* webR download modal */
.webr-download-content {
    max-width: 380px;
    text-align: center;
}
.webr-download-content h2 {
    margin: 0 0 10px;
    font-size: 18px;
    color: var(--text-primary);
}
.webr-download-content p {
    font-size: 13px;
    color: var(--text-secondary);
    margin: 0 0 16px;
}
#webr-download-actions {
    display: flex;
    gap: 10px;
    justify-content: center;
}
#webr-download-btn {
    background: var(--accent);
    color: #fff;
    border: none;
    padding: 8px 24px;
    border-radius: 6px;
    cursor: pointer;
    font-size: 14px;
}
#webr-cancel-btn {
    background: transparent;
    color: var(--text-secondary);
    border: 1px solid var(--border);
    padding: 8px 24px;
    border-radius: 6px;
    cursor: pointer;
    font-size: 14px;
}

/* ===== Header ===== */

#app-header {
    position: sticky;
    top: 0;
    z-index: 100;
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 10px 16px;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border);
    backdrop-filter: blur(12px);
}

#app-header h1 {
    font-size: 18px;
    font-weight: 700;
    background: linear-gradient(135deg, var(--accent), #a371f7);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

#status-badge {
    font-size: 11px;
    padding: 3px 10px;
    border-radius: 12px;
    background: var(--bg-card);
    border: 1px solid var(--border);
    color: var(--text-muted);
    font-family: var(--font-mono);
    transition: all 0.3s ease;
}

#status-badge.ready {
    color: var(--green);
    border-color: var(--green);
    background: rgba(63, 185, 80, 0.1);
}

#status-badge.running {
    color: var(--orange);
    border-color: var(--orange);
    background: rgba(210, 153, 34, 0.1);
    animation: pulse 1.2s ease-in-out infinite;
}

#status-badge.error {
    color: var(--red);
    border-color: var(--red);
    background: rgba(248, 81, 73, 0.1);
}

@keyframes pulse {
    0%, 100% { opacity: 1; }
    50% { opacity: 0.6; }
}

/* ===== App Body Layout ===== */

#app-body {
    display: flex;
    flex: 1;
    overflow: hidden;
    height: calc(100vh - 52px - 100px);
}

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

/* ===== REPL Output Stream ===== */

#repl, .repl-container {
    flex: 1;
    overflow-y: auto;
    padding: 12px 12px 12px;
    scroll-behavior: smooth;
}

/* Desktop: constrain cell width for readability, allow resize */
@media (min-width: 900px) {
    #repl, .repl-container {
        --cell-max-width: 100%;
        padding: 12px 24px;
    }

    .card {
        max-width: var(--cell-max-width);
        margin-left: auto;
        margin-right: auto;
        resize: horizontal;
        overflow: auto;
    }
}

/* ===== Cards ===== */

.card {
    margin-bottom: var(--card-gap);
    border-radius: var(--radius);
    overflow: hidden;
    border: 1px solid var(--border);
    animation: fadeIn 0.25s ease;
}

@keyframes fadeIn {
    from { opacity: 0; transform: translateY(8px); }
    to { opacity: 1; transform: translateY(0); }
}

/* Input card */
.card-input {
    background: var(--bg-secondary);
}

.card-input .card-label {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 6px 12px;
    font-size: 11px;
    color: var(--text-muted);
    font-family: var(--font-mono);
    border-bottom: 1px solid var(--border);
}

.card-input .card-label .prompt-icon {
    color: var(--accent);
    font-weight: 700;
}

.card-input pre {
    padding: 10px 12px;
    font-family: var(--font-mono);
    font-size: 13px;
    line-height: 1.5;
    color: var(--text-primary);
    white-space: pre-wrap;
    word-break: break-word;
}

/* highlight.js in-app overrides — keep card background, reset hljs defaults */
.card-input pre code.hljs,
.card-input pre code {
    background: transparent;
    padding: 0;
    font-family: inherit;
    font-size: inherit;
    line-height: inherit;
    white-space: pre-wrap;
    word-break: break-word;
    display: block;
}

/* Output card */
.card-output {
    background: var(--bg-card);
}

.card-output .card-label {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 6px 12px;
    font-size: 11px;
    color: var(--text-muted);
    font-family: var(--font-mono);
    border-bottom: 1px solid var(--border);
}

.card-output .card-body {
    padding: 10px 12px;
}

/* Text output */
.card-output .text-result {
    font-family: var(--font-mono);
    font-size: 13px;
    line-height: 1.5;
    color: var(--green);
    white-space: pre-wrap;
    word-break: break-word;
}

/* Error output */
.card-output.card-error {
    border-color: rgba(248, 81, 73, 0.4);
}

.card-output .error-result {
    font-family: var(--font-mono);
    font-size: 13px;
    line-height: 1.5;
    color: var(--red);
    white-space: pre-wrap;
    word-break: break-word;
}

/* LaTeX output */
.card-output .latex-result {
    padding: 8px 0;
    overflow-x: auto;
    font-size: 18px;
    text-align: center;
}

/* Plot output */
.card-output .plot-container {
    width: 100%;
    min-height: 250px;
}

.card-output .plot-container .js-plotly-plot {
    border-radius: 6px;
}

/* Table output */
.card-output table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--font-mono);
    font-size: 12px;
}

.card-output table th,
.card-output table td {
    padding: 5px 8px;
    border: 1px solid var(--border);
    text-align: right;
}

.card-output table th {
    background: var(--bg-secondary);
    color: var(--accent);
    font-weight: 600;
}

.card-output table td {
    color: var(--text-primary);
}

/* ===== Input Bar ===== */

#input-bar {
    position: sticky;
    bottom: 0;
    display: flex;
    gap: 8px;
    padding: 10px 12px;
    background: var(--bg-secondary);
    border-top: 1px solid var(--border);
    align-items: flex-end;
}

#code-input {
    flex: 1;
    resize: none;
    border: 1px solid var(--border);
    border-radius: 8px;
    background: var(--bg-input);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 14px;
    padding: 10px 12px;
    line-height: 1.4;
    outline: none;
    transition: border-color 0.2s;
    min-height: 44px;
    max-height: 200px;
}

#code-input:focus {
    border-color: var(--accent);
    box-shadow: 0 0 0 3px var(--accent-glow);
}

#code-input::placeholder {
    color: var(--text-muted);
}

#run-btn {
    flex-shrink: 0;
    align-self: flex-start;
    padding: 10px 20px;
    border: none;
    border-radius: 8px;
    background: linear-gradient(135deg, var(--accent), #a371f7);
    color: #fff;
    font-weight: 700;
    font-size: 14px;
    cursor: pointer;
    transition: all 0.2s ease;
    min-height: 44px;
}

#run-btn:hover:not(:disabled) {
    transform: translateY(-1px);
    box-shadow: 0 4px 16px rgba(88, 166, 255, 0.3);
}

#run-btn:active:not(:disabled) {
    transform: scale(0.97);
}

#run-btn:disabled {
    opacity: 0.4;
    cursor: not-allowed;
}

/* ===== Responsive ===== */

@media (min-width: 768px) {
    #repl, .repl-container {
        max-width: 720px;
        margin: 0 auto;
        padding: 20px;
    }

    #input-bar {
        max-width: 720px;
        margin: 0 auto;
    }
}

/* ===== Help Button ===== */

.icon-btn {
    width: 28px;
    height: 28px;
    border: 1px solid var(--border);
    border-radius: 50%;
    background: var(--bg-card);
    color: var(--accent);
    font-size: 14px;
    font-weight: 700;
    cursor: pointer;
    transition: all 0.2s ease;
    display: flex;
    align-items: center;
    justify-content: center;
}

.icon-btn:hover {
    background: var(--accent);
    color: #fff;
    transform: scale(1.1);
}

/* ===== Modal ===== */

.modal {
    position: fixed;
    inset: 0;
    z-index: 2000;
    display: flex;
    align-items: center;
    justify-content: center;
    background: rgba(0, 0, 0, 0.7);
    backdrop-filter: blur(4px);
    padding: 20px;
    opacity: 1;
    transition: opacity 0.3s ease;
}

.modal.hidden {
    opacity: 0;
    pointer-events: none;
}

.modal-content {
    position: relative;
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    max-width: 600px;
    width: 100%;
    max-height: 80vh;
    overflow-y: auto;
    padding: 24px;
    animation: modalSlideIn 0.3s ease;
}

@keyframes modalSlideIn {
    from { transform: translateY(-20px); opacity: 0; }
    to { transform: translateY(0); opacity: 1; }
}

.modal-close {
    position: absolute;
    top: 16px;
    right: 16px;
    width: 32px;
    height: 32px;
    border: none;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-size: 24px;
    line-height: 1;
    border-radius: 6px;
    cursor: pointer;
    transition: all 0.2s ease;
}

.modal-close:hover {
    background: var(--border);
    color: var(--text-primary);
}

.modal-content h2 {
    font-size: 22px;
    margin-bottom: 20px;
    color: var(--accent);
}

.modal-content h3 {
    font-size: 16px;
    margin: 20px 0 10px;
    color: var(--text-primary);
    font-weight: 600;
}

.modal-content p {
    font-size: 14px;
    line-height: 1.6;
    color: var(--text-secondary);
    margin: 8px 0;
}

.modal-content pre {
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 12px;
    overflow-x: auto;
    font-family: var(--font-mono);
    font-size: 12px;
    line-height: 1.5;
    color: var(--text-primary);
}

.modal-content code {
    font-family: var(--font-mono);
    font-size: 13px;
    background: var(--bg-card);
    padding: 2px 6px;
    border-radius: 4px;
    color: var(--accent);
}

.modal-content ul {
    list-style: none;
    padding: 0;
}

.modal-content li {
    padding: 6px 0;
    font-size: 14px;
    color: var(--text-secondary);
}

.modal-content kbd {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: 4px;
    padding: 2px 6px;
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--text-primary);
}

.modal-content a {
    color: var(--accent);
    text-decoration: none;
}

.modal-content a:hover {
    text-decoration: underline;
}


/* ===== Cell Type Toggle ===== */

#input-controls {
    display: flex;
    flex-direction: column;
    align-items: stretch;
    align-self: flex-start;
    gap: 4px;
}

.cell-type-btn {
    padding: 4px 10px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s;
    min-height: 28px;
}

.cell-type-btn.markdown-active {
    color: #d2a8ff;
    border-color: #d2a8ff;
    background: rgba(210, 168, 255, 0.1);
}

/* ===== Language Selector ===== */

#lang-selector {
    padding: 4px 8px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s;
    min-height: 28px;
    appearance: none;
    -webkit-appearance: none;
    padding-right: 18px;
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%238b949e'/%3E%3C/svg%3E");
    background-repeat: no-repeat;
    background-position: right 6px center;
}

#lang-selector:focus {
    outline: none;
    border-color: var(--accent);
}

#lang-selector.prolog-active {
    color: #f0883e;
    border-color: #f0883e;
    background-color: rgba(240, 136, 62, 0.1);
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%23f0883e'/%3E%3C/svg%3E");
    background-repeat: no-repeat;
    background-position: right 6px center;
}

#lang-selector.bash-active {
    color: #4ec9b0;
    border-color: #4ec9b0;
    background-color: rgba(78, 201, 176, 0.1);
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%234ec9b0'/%3E%3C/svg%3E");
    background-repeat: no-repeat;
    background-position: right 6px center;
}

#lang-selector.javascript-active {
    color: #f0d050;
    border-color: #f0d050;
    background-color: rgba(240, 208, 80, 0.1);
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%23f0d050'/%3E%3C/svg%3E");
    background-repeat: no-repeat;
    background-position: right 6px center;
}

#lang-selector.r-active {
    color: #4E7FB4;
    border-color: #4E7FB4;
    background-color: rgba(78, 127, 180, 0.1);
    background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='10' height='6'%3E%3Cpath d='M0 0l5 6 5-6z' fill='%234E7FB4'/%3E%3C/svg%3E");
    background-repeat: no-repeat;
    background-position: right 6px center;
}

/* Language badge in cell labels */
.lang-badge {
    font-size: 9px;
    padding: 1px 5px;
    border-radius: 4px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.5px;
}

.lang-badge.lang-python {
    color: #3fb950;
    background: rgba(63, 185, 80, 0.1);
    border: 1px solid rgba(63, 185, 80, 0.3);
}

.lang-badge.lang-prolog {
    color: #f0883e;
    background: rgba(240, 136, 62, 0.1);
    border: 1px solid rgba(240, 136, 62, 0.3);
}

.lang-badge.lang-bash {
    color: #4ec9b0;
    background: rgba(78, 201, 176, 0.1);
    border: 1px solid rgba(78, 201, 176, 0.3);
}

.lang-badge.lang-javascript {
    color: #f0d050;
    background: rgba(240, 208, 80, 0.1);
    border: 1px solid rgba(240, 208, 80, 0.3);
}

.lang-badge.lang-r {
    color: #4E7FB4;
    background: rgba(78, 127, 180, 0.1);
    border: 1px solid rgba(78, 127, 180, 0.3);
}

.cell-type-switch-btn {
    padding: 4px 10px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s;
}

.cell-type-switch-btn.markdown-active {
    color: #d2a8ff;
    border-color: #d2a8ff;
    background: rgba(210, 168, 255, 0.1);
}

.cell-lang-switch {
    padding: 4px 6px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
}

.cell-lang-apply-all {
    padding: 4px 6px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
}

.cell-lang-apply-all:hover {
    background: var(--accent);
    color: #fff;
}

/* ===== Markdown Cells ===== */

.card-markdown .card-label .prompt-icon {
    color: #d2a8ff;
}

.card-markdown .md-source {
    display: none; /* Hidden by default when rendered */
}

.card-markdown-output {
    background: var(--bg-card);
    border-color: rgba(210, 168, 255, 0.3);
}

.markdown-body {
    padding: 12px 16px;
    font-family: var(--font-sans);
    font-size: 14px;
    line-height: 1.7;
    color: var(--text-primary);
}

.markdown-body h1,
.markdown-body h2,
.markdown-body h3,
.markdown-body h4 {
    margin: 16px 0 8px;
    color: var(--text-primary);
    font-weight: 600;
}

.markdown-body h1 { font-size: 22px; border-bottom: 1px solid var(--border); padding-bottom: 6px; }
.markdown-body h2 { font-size: 18px; }
.markdown-body h3 { font-size: 16px; }

.markdown-body p {
    margin: 8px 0;
}

.markdown-body strong {
    color: var(--text-primary);
    font-weight: 600;
}

.markdown-body em {
    color: var(--text-secondary);
}

.markdown-body code {
    font-family: var(--font-mono);
    font-size: 13px;
    background: var(--bg-secondary);
    padding: 2px 6px;
    border-radius: 4px;
    color: var(--accent);
}

.markdown-body pre {
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 12px;
    overflow-x: auto;
    font-family: var(--font-mono);
    font-size: 12px;
    line-height: 1.5;
    margin: 8px 0;
}

.markdown-body pre code {
    background: none;
    padding: 0;
    color: var(--text-primary);
}

.markdown-body ul, .markdown-body ol {
    padding-left: 24px;
    margin: 8px 0;
}

.markdown-body li {
    margin: 4px 0;
}

.markdown-body blockquote {
    border-left: 3px solid var(--accent);
    margin: 8px 0;
    padding: 4px 16px;
    color: var(--text-secondary);
    background: rgba(88, 166, 255, 0.05);
    border-radius: 0 6px 6px 0;
}

.markdown-body a {
    color: var(--accent);
    text-decoration: none;
}

.markdown-body a:hover {
    text-decoration: underline;
}

.markdown-body hr {
    border: none;
    border-top: 1px solid var(--border);
    margin: 16px 0;
}

.markdown-body table {
    width: 100%;
    border-collapse: collapse;
    margin: 8px 0;
    font-size: 13px;
}

.markdown-body table th,
.markdown-body table td {
    padding: 6px 10px;
    border: 1px solid var(--border);
    text-align: left;
}

.markdown-body table th {
    background: var(--bg-secondary);
    font-weight: 600;
}

/* ===== Editable Cells ===== */

.cell-edit-btn {
    margin-left: auto;
    background: none;
    border: none;
    color: var(--text-muted);
    font-size: 14px;
    cursor: pointer;
    padding: 0 4px;
    opacity: 0;
    transition: opacity 0.2s;
}

.card-input:hover .cell-edit-btn,
.card-input:hover .cell-delete-btn,
.card-input:hover .cell-drag-handle,
.card-input:hover .cell-move-btn {
    opacity: 1;
}

/* Delete button */
.cell-delete-btn {
    background: none;
    border: none;
    color: var(--text-muted);
    font-size: 14px;
    cursor: pointer;
    padding: 0 4px;
    opacity: 0;
    transition: opacity 0.2s;
}

.cell-delete-btn:hover {
    color: #f85149;
}

/* Drag handle */
.cell-drag-handle {
    cursor: grab;
    color: var(--text-muted);
    opacity: 0;
    transition: opacity 0.2s;
    font-size: 14px;
    user-select: none;
}

.cell-drag-handle:active {
    cursor: grabbing;
}

/* Move up/down arrows */
.cell-move-btn {
    background: none;
    border: none;
    color: var(--text-muted);
    font-size: 12px;
    cursor: pointer;
    padding: 0 2px;
    opacity: 0;
    transition: opacity 0.2s;
    line-height: 1;
}

.cell-move-btn:hover {
    color: var(--accent);
}

/* Drag feedback */
.card-input.dragging {
    opacity: 0.4;
}

.card-input.drag-over-top {
    border-top: 2px solid var(--accent);
    margin-top: -1px;
}

.card-input.drag-over-bottom {
    border-bottom: 2px solid var(--accent);
    margin-bottom: -1px;
}

.card-input.editing {
    border-color: var(--accent);
    box-shadow: 0 0 0 2px var(--accent-glow);
}

.cell-editor {
    width: 100%;
    border: none;
    background: var(--bg-input);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 13px;
    line-height: 1.5;
    padding: 10px 12px;
    resize: none;
    outline: none;
    min-height: 44px;
    max-height: 300px;
}

.cell-edit-actions {
    display: flex;
    gap: 8px;
    padding: 6px 12px;
    border-top: 1px solid var(--border);
    background: var(--bg-card);
}

.cell-run-btn {
    padding: 4px 14px;
    border: none;
    border-radius: 6px;
    background: linear-gradient(135deg, var(--accent), #a371f7);
    color: #fff;
    font-weight: 600;
    font-size: 12px;
    cursor: pointer;
}

.cell-cancel-btn {
    padding: 4px 14px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-size: 12px;
    cursor: pointer;
}

.cell-cancel-btn:hover {
    background: var(--bg-secondary);
}

.cell-run-below-btn {
    padding: 4px 14px;
    border: 1px solid var(--accent);
    border-radius: 6px;
    background: rgba(88, 166, 255, 0.1);
    color: var(--accent);
    font-size: 12px;
    font-weight: 600;
    cursor: pointer;
}

.cell-run-below-btn:hover {
    background: rgba(88, 166, 255, 0.2);
}

/* ===== Math Palette ===== */

.math-palette {
    position: fixed;
    bottom: 65px; /* Above input bar */
    left: 0;
    right: 0;
    background: var(--bg-secondary);
    border-top: 1px solid var(--border);
    border-bottom: 1px solid var(--border);
    padding: 8px;
    z-index: 90;
    display: flex;
    flex-direction: column;
    gap: 8px;
    transition: transform 0.3s ease, opacity 0.3s ease;
    box-shadow: 0 -4px 12px rgba(0,0,0,0.3);
}

.math-palette.hidden {
    transform: translateY(20px);
    opacity: 0;
    pointer-events: none;
}

.math-row {
    display: flex;
    gap: 8px;
    justify-content: center;
}

.math-palette button {
    flex: 1;
    max-width: 60px;
    height: 36px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--accent);
    font-family: var(--font-mono);
    font-size: 13px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s ease;
}

.math-palette button:active {
    background: var(--accent);
    color: #fff;
    transform: scale(0.95);
}

/* Toggle button active state */
#math-mode-btn.active {
    color: var(--accent);
    background: rgba(88, 166, 255, 0.1);
    border-color: var(--accent);
}

/* ===== Header Updates ===== */
.header-right {
    display: flex;
    align-items: center;
    gap: 10px;
}

/* ===== Menu Modal ===== */
.menu-grid {
    display: grid;
    grid-template-columns: 1fr;
    gap: 10px;
    margin-bottom: 20px;
}

.menu-grid button {
    padding: 12px;
    border: 1px solid var(--border);
    border-radius: 8px;
    background: var(--bg-card);
    color: var(--text-primary);
    font-family: var(--font-sans);
    font-size: 14px;
    cursor: pointer;
    text-align: left;
    transition: all 0.2s;
    display: flex;
    align-items: center;
    gap: 8px;
}

.menu-grid button:hover {
    background: var(--bg-secondary);
    border-color: var(--accent);
}

.menu-grid button.danger {
    color: var(--red);
    border-color: rgba(248, 81, 73, 0.3);
}

.menu-grid button.danger:hover {
    background: rgba(248, 81, 73, 0.1);
    border-color: var(--red);
}

/* ===== Package Catalog ===== */

.pkg-card {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 12px;
    margin-bottom: 10px;
    border: 1px solid var(--border);
    border-radius: 8px;
    background: var(--bg-primary);
}

.pkg-info {
    flex: 1;
    min-width: 0;
}

.pkg-info strong {
    font-size: 1rem;
}

.pkg-version, .pkg-size, .pkg-kernels {
    font-size: 0.8rem;
    color: var(--fg-secondary);
    margin-left: 8px;
}

.pkg-info p {
    margin: 4px 0 0;
    font-size: 0.85rem;
    color: var(--fg-secondary);
}

.pkg-install-btn {
    padding: 8px 16px;
    border: 1px solid var(--accent);
    border-radius: 6px;
    background: transparent;
    color: var(--accent);
    cursor: pointer;
    font-size: 0.85rem;
    white-space: nowrap;
    margin-left: 12px;
}

.pkg-install-btn:hover {
    background: var(--accent);
    color: var(--bg-primary);
}

.pkg-install-btn:disabled {
    opacity: 0.6;
    cursor: not-allowed;
}

.pkg-install-btn.pkg-installed {
    border-color: var(--green);
    background: var(--green);
    color: #fff;
}

.catalog-section-header {
    font-size: 0.95rem;
    color: var(--text-secondary);
    margin: 12px 0 6px;
    padding-bottom: 4px;
    border-bottom: 1px solid var(--border);
}

/* ===== Scrollable modal variant ===== */

.modal-content-scroll {
    max-height: 85vh;
    overflow-y: auto;
}

/* ===== Files & Storage ===== */

.shared-upload-dest {
    display: flex;
    align-items: center;
    gap: 8px;
    margin: 8px 0;
}

.vfs-kernel-select {
    padding: 4px 8px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 12px;
    cursor: pointer;
}

.vfs-kernel-select option.kernel-not-loaded {
    color: var(--text-muted);
}

.shared-upload-dest label {
    color: var(--text-secondary);
    font-size: 13px;
    white-space: nowrap;
}

.shared-upload-dest .path-input {
    flex: 1;
}

.vfs-actions {
    display: flex;
    gap: 8px;
    margin: 8px 0;
}

.vfs-btn {
    padding: 6px 14px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-card);
    color: var(--accent);
    font-size: 12px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s;
}

.vfs-btn:hover {
    background: rgba(88, 166, 255, 0.1);
    border-color: var(--accent);
}

.vfs-option {
    display: flex;
    align-items: center;
    gap: 6px;
    font-size: 0.85rem;
    color: var(--text-secondary);
    cursor: pointer;
    margin: 4px 0;
}

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

.vfs-file-list {
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 8px;
    margin: 8px 0;
    max-height: 200px;
    overflow-y: auto;
    font-family: var(--font-mono);
    font-size: 12px;
}

.vfs-entry {
    display: flex;
    align-items: center;
    gap: 6px;
    padding: 3px 8px;
    color: var(--text-primary);
    border-radius: 4px;
}

.vfs-entry:hover {
    background: var(--bg-card);
}

.vfs-dir {
    color: var(--accent);
}

.vfs-icon {
    font-size: 14px;
    flex-shrink: 0;
}

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

.vfs-mount {
    font-weight: 600;
    color: var(--orange);
    border-bottom: 1px solid var(--border);
    margin-top: 4px;
    padding-bottom: 4px;
}

.vfs-mount .vfs-icon {
    font-size: 15px;
}

.vfs-not-loaded {
    opacity: 0.4;
    font-style: italic;
}

.vfs-not-loaded .vfs-name::after {
    content: ' (not loaded)';
    color: var(--text-muted);
    font-size: 10px;
    font-weight: 400;
}

.vfs-empty {
    color: var(--text-muted);
    font-style: italic;
    padding: 8px;
    text-align: center;
}

.vfs-delete-btn {
    background: none;
    border: none;
    color: var(--text-secondary);
    font-size: 18px;
    cursor: pointer;
    padding: 4px 6px;
    opacity: 0.8;
    transition: opacity 0.2s, color 0.2s;
}

.vfs-entry:hover .vfs-delete-btn,
tr:hover .vfs-delete-btn {
    opacity: 1;
}

.vfs-delete-btn:hover {
    color: var(--red);
}

/* Search path table */
.search-path-table {
    width: 100%;
    border-collapse: collapse;
    font-family: var(--font-mono);
    font-size: 12px;
    margin: 8px 0;
}

.search-path-table th,
.search-path-table td {
    padding: 6px 10px;
    border: 1px solid var(--border);
    text-align: left;
    color: var(--text-primary);
}

.search-path-table th {
    background: var(--bg-secondary);
    color: var(--accent);
    font-weight: 600;
    font-size: 11px;
}

.search-path-table td:last-child {
    width: 30px;
    text-align: center;
}

.path-add-form {
    display: flex;
    gap: 6px;
    margin: 8px 0;
    align-items: center;
}

.path-input {
    flex: 1;
    padding: 6px 10px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-input);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 12px;
    outline: none;
}

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

/* Fetch from URL */
.fetch-form {
    display: flex;
    gap: 6px;
    margin: 8px 0;
    align-items: center;
    flex-wrap: wrap;
}

.fetch-input {
    flex: 1;
    min-width: 150px;
    padding: 6px 10px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-input);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 12px;
    outline: none;
}

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

.fetch-input-short {
    max-width: 180px;
}

.fetch-status {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--text-secondary);
    padding: 4px 0;
    min-height: 18px;
}

/* File preview pane */
.vfs-file-preview {
    background: var(--bg-input);
    border: 1px solid var(--accent);
    border-radius: 8px;
    margin: 8px 0;
    overflow: hidden;
}

.vfs-file-preview.hidden {
    display: none;
}

.vfs-preview-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 6px 10px;
    background: var(--bg-card);
    border-bottom: 1px solid var(--border);
    font-family: var(--font-mono);
    font-size: 11px;
}

.vfs-preview-path {
    color: var(--accent);
    font-weight: 600;
}

.vfs-preview-actions {
    display: flex;
    align-items: center;
    gap: 6px;
}

.vfs-preview-edit,
.vfs-preview-save {
    padding: 2px 10px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--bg-card);
    color: var(--text-secondary);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s;
}

.vfs-preview-edit:hover {
    border-color: var(--accent);
    color: var(--accent);
}

.vfs-preview-save {
    border-color: var(--green);
    color: var(--green);
    background: rgba(63, 185, 80, 0.1);
}

.vfs-preview-save:hover {
    background: rgba(63, 185, 80, 0.2);
}

.vfs-preview-save.hidden,
.vfs-preview-edit.hidden {
    display: none;
}

.vfs-preview-close {
    background: none;
    border: none;
    color: var(--text-muted);
    font-size: 16px;
    cursor: pointer;
    padding: 0 4px;
}

.vfs-preview-close:hover {
    color: var(--text-primary);
}

.vfs-preview-code {
    padding: 10px 12px;
    font-family: var(--font-mono);
    font-size: 12px;
    line-height: 1.5;
    color: var(--text-primary);
    white-space: pre-wrap;
    word-break: break-word;
    max-height: 250px;
    overflow-y: auto;
    margin: 0;
}

.vfs-preview-code.hidden {
    display: none;
}

.vfs-preview-editor {
    width: 100%;
    min-height: 100px;
    max-height: 300px;
    padding: 10px 12px;
    border: none;
    border-top: 1px solid var(--accent);
    background: var(--bg-primary);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 12px;
    line-height: 1.5;
    resize: none;
    outline: none;
}

.vfs-preview-editor.hidden {
    display: none;
}

/* Active file in list */
.vfs-entry-active {
    background: var(--accent-glow);
    border-left: 2px solid var(--accent);
}

/* Selected folder */
.vfs-dir-selected {
    background: rgba(88, 166, 255, 0.12);
    border-left: 2px solid var(--accent);
    cursor: pointer;
}

/* Action button group (download + delete) */
.vfs-entry-actions {
    margin-left: auto;
    display: flex;
    align-items: center;
    gap: 12px;
    flex-shrink: 0;
}

.vfs-download-btn {
    background: none;
    border: none;
    color: var(--accent);
    font-size: 18px;
    cursor: pointer;
    padding: 4px 6px;
    opacity: 0.8;
    transition: opacity 0.2s, color 0.2s;
}

.vfs-entry:hover .vfs-download-btn {
    opacity: 1;
}

.vfs-download-btn:hover {
    color: var(--accent);
}

.vfs-entry .vfs-name {
    flex: 1;
}

.prolog-settings-help {
    margin-top: 16px;
    border-top: 1px solid var(--border);
    padding-top: 12px;
}

/* ===== Export Options ===== */

/* ===== Export Modal ===== */

.settings-item input[type="radio"] {
    accent-color: var(--accent);
    width: 18px;
    height: 18px;
    flex-shrink: 0;
}

.export-format-desc {
    font-size: 11px;
    color: var(--text-muted);
    margin-left: auto;
}

#export-image-section.hidden,
#export-theme-section.hidden,
#export-pagebg-section.hidden {
    display: none;
}

.export-modal-actions {
    margin-top: 20px;
    display: flex;
    justify-content: flex-end;
}

.export-action-btn {
    padding: 10px 28px;
    background: var(--accent);
    color: #fff;
    border: none;
    border-radius: 6px;
    font-size: 14px;
    font-weight: 600;
    cursor: pointer;
}

/* ===== Search Bar (Ctrl+F) ===== */

.search-bar {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 3000;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border);
    padding: 8px 12px;
    box-shadow: 0 2px 8px rgba(0,0,0,0.4);
    transition: transform 0.2s ease, opacity 0.2s ease;
}

.search-bar.hidden {
    transform: translateY(-100%);
    opacity: 0;
    pointer-events: none;
}

.search-row {
    display: flex;
    align-items: center;
    gap: 6px;
}

.search-row + .search-row {
    margin-top: 6px;
}

.search-bar input[type="text"] {
    flex: 1;
    padding: 6px 10px;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg-input);
    color: var(--text-primary);
    font-family: var(--font-mono);
    font-size: 13px;
    outline: none;
    min-width: 0;
}

.search-bar input[type="text"]:focus {
    border-color: var(--accent);
}

#search-count {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--text-muted);
    white-space: nowrap;
    min-width: 40px;
    text-align: center;
}

.search-bar button {
    background: var(--bg-card);
    color: var(--text-secondary);
    border: 1px solid var(--border);
    border-radius: 6px;
    padding: 4px 8px;
    font-size: 13px;
    cursor: pointer;
    white-space: nowrap;
}

.search-bar button:hover {
    background: var(--border);
    color: var(--text-primary);
}

#search-close-btn {
    font-size: 16px;
    padding: 2px 6px;
}

#replace-one-btn, #replace-all-btn {
    font-size: 12px;
    padding: 5px 10px;
}

/* Search match highlighting on cards */
.card-input.search-match {
    border: 1px solid var(--orange, #d29922) !important;
    box-shadow: 0 0 0 1px rgba(210, 153, 34, 0.2);
}

.card-input.search-current {
    border: 1px solid var(--accent) !important;
    box-shadow: 0 0 0 2px var(--accent-glow);
}

/* Text-level match highlight inside code */
.card-input mark.search-hl {
    background: rgba(210, 153, 34, 0.35);
    color: inherit;
    border-radius: 2px;
    padding: 0 1px;
}

.card-input mark.search-hl-current {
    background: rgba(88, 166, 255, 0.4);
    color: inherit;
    border-radius: 2px;
    padding: 0 1px;
}

/* ===== Settings ===== */

.settings-list {
    display: flex;
    flex-direction: column;
    gap: 12px;
}
.settings-section {
    font-size: 11px;
    text-transform: uppercase;
    color: var(--text-secondary);
    letter-spacing: 0.5px;
    margin-top: 16px;
    margin-bottom: -4px;
    opacity: 0.7;
}
.settings-section:first-child {
    margin-top: 0;
}
.settings-item {
    display: flex;
    align-items: center;
    gap: 10px;
    font-size: 13px;
    color: var(--text-secondary);
    cursor: pointer;
}
.settings-item input[type="checkbox"] {
    accent-color: var(--accent);
    width: 18px;
    height: 18px;
}
.settings-select {
    background: var(--bg-card);
    color: var(--text-primary);
    border: 1px solid var(--border);
    border-radius: 4px;
    padding: 4px 8px;
    font-size: 13px;
    margin-left: auto;
    color-scheme: dark;
}
.settings-select option {
    background: #1c2128;
    color: #e6edf3;
}
.settings-btn {
    background: none;
    border: 1px solid var(--border);
    color: var(--text-secondary);
    padding: 6px 12px;
    border-radius: 6px;
    font-size: 12px;
    cursor: pointer;
    align-self: flex-start;
}
.settings-btn:hover {
    color: var(--text-primary);
    border-color: var(--text-secondary);
}

/* ===== Memory & Storage Panel ===== */

.memory-kernel-list {
    display: flex;
    flex-direction: column;
    gap: 0;
    margin: 8px 0;
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: 8px;
    overflow: hidden;
}

.memory-kernel-card {
    display: flex;
    align-items: center;
    gap: 10px;
    padding: 10px 12px;
    border-bottom: 1px solid var(--border);
}

.memory-kernel-card:last-child {
    border-bottom: none;
}

.memory-dot {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: var(--text-muted);
    flex-shrink: 0;
}

.memory-dot.loaded {
    background: var(--green);
}

.memory-kernel-info {
    flex: 1;
    min-width: 0;
}

.memory-kernel-name {
    font-size: 13px;
    color: var(--text-primary);
    font-weight: 500;
}

.memory-kernel-status {
    font-size: 11px;
    color: var(--text-secondary);
}

.memory-kernel-size {
    font-family: var(--font-mono);
    font-size: 12px;
    color: var(--text-secondary);
    white-space: nowrap;
    margin-right: 8px;
}

.memory-unload-btn {
    padding: 4px 10px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: none;
    color: var(--red);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    white-space: nowrap;
}

.memory-unload-btn:hover {
    background: rgba(248, 81, 73, 0.1);
    border-color: var(--red);
}

.memory-load-btn {
    padding: 4px 10px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: none;
    color: var(--accent);
    font-size: 11px;
    font-weight: 600;
    cursor: pointer;
    white-space: nowrap;
}

.memory-load-btn:hover {
    background: rgba(88, 166, 255, 0.1);
    border-color: var(--accent);
}

.memory-btn-wrap {
    display: flex;
    flex-direction: column;
    gap: 4px;
    align-items: flex-end;
}

.memory-storage-section {
    margin: 8px 0;
}

.memory-storage-bar-wrap {
    margin-bottom: 12px;
}

.memory-storage-label {
    font-size: 12px;
    color: var(--text-secondary);
    margin-bottom: 6px;
}

.memory-bar-track {
    height: 8px;
    background: var(--bg-input);
    border: 1px solid var(--border);
    border-radius: 4px;
    overflow: hidden;
}

.memory-bar-fill {
    height: 100%;
    background: var(--accent);
    border-radius: 4px;
    transition: width 0.3s ease;
}

.memory-bar-fill.warn {
    background: var(--orange);
}

.memory-bar-fill.critical {
    background: var(--red);
}

.memory-storage-rows {
    display: flex;
    flex-direction: column;
    gap: 6px;
    margin-bottom: 12px;
}

.memory-storage-row {
    display: flex;
    justify-content: space-between;
    font-size: 12px;
    color: var(--text-secondary);
    padding: 2px 0;
}

.memory-storage-row span:last-child {
    font-family: var(--font-mono);
    color: var(--text-primary);
}

.memory-actions {
    display: flex;
    gap: 8px;
    flex-wrap: wrap;
}

/* ===== Mobile Touch Targets ===== */
/* Applied via media query for real touch devices and via body.force-mobile for the setting */

@media (hover: none) and (pointer: coarse) {
    .vfs-download-btn,
    .vfs-delete-btn {
        min-width: 44px;
        min-height: 44px;
        font-size: 20px;
        padding: 10px;
        display: flex;
        align-items: center;
        justify-content: center;
    }
}

body.force-mobile .vfs-download-btn,
body.force-mobile .vfs-delete-btn {
    min-width: 44px;
    min-height: 44px;
    font-size: 20px;
    padding: 10px;
    display: flex;
    align-items: center;
    justify-content: center;
}