/* ==========================================================================
   XYZ // SOLVING CICADA 3301 - RETRO TERMINAL STYLESHEET
   Ultra-lightweight, dark, phosphor green / amber hacker aesthetic.
   ========================================================================== */

:root {
    --bg-main: #07090b;
    --bg-box: #0d1117;
    --bg-box-header: #141b24;
    --border-color: #1f2937;
    --border-accent: #22c55e;
    --text-main: #a3e635;
    --text-dim: #65a30d;
    --text-bright: #d9f99d;
    --amber: #f59e0b;
    --red: #ef4444;
    --cyan: #06b6d4;
    --font-mono: ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, Consolas, "Courier New", monospace;
}

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

img, table, pre, code, button, input, textarea {
    max-width: 100%;
}

html {
    scroll-behavior: smooth;
}

body {
    background-color: var(--bg-main);
    color: var(--text-main);
    font-family: var(--font-mono);
    font-size: 14px;
    line-height: 1.6;
    overflow-x: hidden;
}

/* CRT Scanlines simulation */
.scanlines {
    position: fixed;
    top: 0;
    left: 0;
    width: 100vw;
    height: 100vh;
    pointer-events: none;
    z-index: 999;
    background: linear-gradient(
        rgba(18, 16, 16, 0) 50%, 
        rgba(0, 0, 0, 0.25) 50%
    ), linear-gradient(
        90deg,
        rgba(255, 0, 0, 0.03),
        rgba(0, 255, 0, 0.01),
        rgba(0, 0, 255, 0.03)
    );
    background-size: 100% 4px, 6px 100%;
}

.container {
    max-width: 960px;
    margin: 0 auto;
    padding: 24px 16px;
}

/* HEADER */
.header {
    margin-bottom: 24px;
    border-bottom: 1px dashed var(--border-accent);
    padding-bottom: 16px;
}

.ascii-logo {
    color: var(--text-bright);
    font-size: 12px;
    line-height: 1.25;
    text-shadow: 0 0 6px rgba(163, 230, 53, 0.4);
    overflow-x: auto;
    white-space: pre;
    margin-bottom: 16px;
}

.nav {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    margin-top: 14px;
    width: 100%;
}

.nav-btn {
    flex: 1 1 auto;
    min-width: 120px;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    color: var(--text-bright);
    background: var(--bg-box);
    border: 1px solid var(--border-color);
    padding: 8px 12px;
    text-decoration: none;
    font-size: 11px;
    font-weight: bold;
    text-align: center;
    white-space: nowrap;
    transition: all 0.2s ease;
    box-sizing: border-box;
}

.nav-btn:hover {
    background: var(--border-accent);
    color: #000;
    box-shadow: 0 0 8px var(--border-accent);
}

/* BOX COMPONENT */
.box {
    background: var(--bg-box);
    border: 1px solid var(--border-color);
    margin-bottom: 24px;
    box-shadow: 0 4px 12px rgba(0, 0, 0, 0.5);
    max-width: 100%;
    overflow: hidden;
}

.box-header {
    background: var(--bg-box-header);
    border-bottom: 1px solid var(--border-color);
    padding: 8px 14px;
    font-size: 13px;
    color: var(--text-bright);
    font-weight: bold;
}

.prompt {
    color: var(--amber);
    margin-right: 6px;
}

.box-content {
    padding: 18px;
    max-width: 100%;
    overflow-x: auto;
}

.highlight {
    color: var(--text-bright);
    font-weight: bold;
    border-left: 3px solid var(--amber);
    padding-left: 12px;
    margin-bottom: 14px;
    font-style: italic;
}

p {
    margin-bottom: 12px;
}

/* STATUS GRID */
.status-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    gap: 10px;
    margin-top: 16px;
    background: #090d12;
    padding: 12px;
    border: 1px solid var(--border-color);
}

.status-item .lbl {
    color: var(--text-dim);
    font-size: 11px;
    display: block;
}

.status-item .val {
    color: var(--text-bright);
    font-size: 13px;
    font-weight: bold;
}

.val.amber {
    color: var(--amber);
    text-shadow: 0 0 5px rgba(245, 158, 11, 0.5);
}

/* ARTICLES / LOGS */
.entry {
    border-bottom: 1px dotted var(--border-color);
    padding-bottom: 18px;
    margin-bottom: 20px;
}

.entry:last-child {
    border-bottom: none;
    margin-bottom: 0;
    padding-bottom: 0;
}

.entry-meta {
    color: var(--amber);
    font-size: 11px;
    margin-bottom: 4px;
}

.entry h3 {
    color: var(--text-bright);
    font-size: 16px;
    margin-bottom: 10px;
}

.code-block {
    background: #050709;
    border: 1px solid var(--border-color);
    padding: 12px;
    color: var(--text-bright);
    font-size: 12px;
    line-height: 1.4;
    overflow-x: auto;
    margin: 12px 0;
}

.red-text {
    color: #f87171 !important;
    text-shadow: 0 0 5px rgba(239, 68, 68, 0.4);
}

.rune-text {
    font-size: 18px;
    letter-spacing: 2px;
    color: var(--amber);
}

/* PROOFS SECTION */
.proof-card {
    background: #090d12;
    border: 1px solid var(--border-color);
    padding: 16px;
    margin-bottom: 18px;
    position: relative;
    max-width: 100%;
    overflow-x: auto;
}

.proof-card:last-child {
    margin-bottom: 0;
}

.proof-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px;
    margin-bottom: 10px;
    border-bottom: 1px dashed var(--border-color);
    padding-bottom: 8px;
}

.proof-title {
    color: var(--text-bright);
    font-size: 14px;
    font-weight: bold;
    word-break: break-word;
}

.proof-badge {
    font-size: 11px;
    padding: 2px 8px;
    border: 1px solid;
    font-weight: bold;
    letter-spacing: 0.5px;
    white-space: nowrap;
}

.badge-proven {
    color: var(--border-accent);
    border-color: var(--border-accent);
    background: rgba(34, 197, 94, 0.1);
}

.badge-refuted {
    color: var(--red);
    border-color: var(--red);
    background: rgba(239, 68, 68, 0.1);
}

/* TABLE WRAPPER & RESPONSIVE PROOF TABLES */
.table-wrapper {
    width: 100%;
    overflow-x: auto;
    -webkit-overflow-scrolling: touch;
    margin: 12px 0;
    border: 1px solid var(--border-color);
    background: #05080c;
}

.table-wrapper .proof-stat-table {
    margin: 0;
    border: none;
}

.proof-stat-table {
    width: 100%;
    border-collapse: collapse;
    margin: 12px 0;
    font-size: 12px;
    table-layout: auto;
}

.proof-stat-table th, .proof-stat-table td {
    border: 1px solid var(--border-color);
    padding: 7px 10px;
    text-align: left;
    word-break: break-word;
    overflow-wrap: anywhere;
}

.proof-stat-table th {
    background: var(--bg-box-header);
    color: var(--amber);
    white-space: nowrap;
}

.proof-stat-table code {
    word-break: break-all;
    overflow-wrap: anywhere;
    white-space: normal;
    display: inline-block;
}

.proof-interactive {
    margin-top: 18px;
    background: #06090d;
    border: 1px dashed var(--border-color);
    padding: 14px;
    max-width: 100%;
    overflow: hidden;
    box-sizing: border-box;
}

/* VERIFICATION TABS / AUDIT BUTTONS GRID */
.verify-tabs-grid {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(210px, 1fr));
    gap: 8px;
    margin: 14px 0;
    width: 100%;
    box-sizing: border-box;
}

.verify-tabs-grid .btn {
    width: 100%;
    min-height: 40px;
    display: flex;
    align-items: center;
    justify-content: center;
    text-align: center;
    padding: 6px 10px;
    font-size: 11px;
    line-height: 1.35;
    white-space: normal;
    word-break: break-word;
    box-sizing: border-box;
}

/* INTERACTIVE TOOL */
.tool-grid {
    display: flex;
    flex-direction: column;
    gap: 14px;
    margin-top: 14px;
    width: 100%;
}

textarea, input[type="number"] {
    width: 100%;
    background: #050709;
    border: 1px solid var(--border-color);
    color: var(--text-bright);
    font-family: var(--font-mono);
    padding: 10px;
    font-size: 13px;
    outline: none;
    box-sizing: border-box;
}

textarea:focus, input[type="number"]:focus {
    border-color: var(--border-accent);
    box-shadow: 0 0 6px rgba(34, 197, 94, 0.3);
}

.controls-row {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    width: 100%;
}

.ctrl {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px;
}

.btn {
    background: var(--bg-box-header);
    color: var(--text-bright);
    border: 1px solid var(--border-color);
    padding: 6px 12px;
    font-family: var(--font-mono);
    font-size: 12px;
    cursor: pointer;
    font-weight: bold;
    transition: all 0.2s ease;
    max-width: 100%;
    box-sizing: border-box;
}

.btn:hover {
    background: var(--amber);
    color: #000;
}

.output-box {
    background: #050709;
    border: 1px solid var(--border-color);
    padding: 10px;
    min-height: 38px;
    word-break: break-all;
}

.small-text {
    color: var(--text-dim);
    font-size: 12px;
}

/* FOOTER */
.footer {
    display: flex;
    justify-content: space-between;
    align-items: center;
    border-top: 1px dashed var(--border-color);
    padding-top: 16px;
    margin-top: 24px;
    font-size: 11px;
    color: var(--text-dim);
}

.pulse {
    color: var(--border-accent);
    animation: blink 1.2s infinite;
}

@keyframes blink {
    0%, 100% { opacity: 1; }
    50% { opacity: 0.2; }
}

@media (max-width: 640px) {
    .ascii-logo {
        font-size: 9px;
    }
    .footer {
        flex-direction: column;
        gap: 8px;
        text-align: center;
    }
}

/* ==========================================================================
   KATEX & MATHEMATICAL TYPOGRAPHY STYLING (PHOSPHOR GREEN RETRO CRT)
   ========================================================================== */

.katex {
    color: var(--text-bright) !important;
    font-size: 1.05em;
    text-shadow: 0 0 3px rgba(163, 230, 53, 0.35);
}

.katex-display {
    margin: 1.2em 0;
    overflow-x: auto;
    overflow-y: hidden;
    padding: 6px 0;
}

.katex .mord, .katex .mbin, .katex .mrel, .katex .mopen, .katex .mclose, .katex .mpunct {
    color: var(--text-bright) !important;
}

.katex .accent, .katex .mfrac, .katex .sqrt {
    color: var(--text-bright) !important;
}

.katex .mathbb {
    color: var(--amber) !important;
    text-shadow: 0 0 4px rgba(245, 158, 11, 0.4);
}

/* Math Fallback Styling for Offline / Non-KaTeX Rendering */
.math-fallback {
    color: var(--text-bright);
    font-family: var(--font-mono);
    text-shadow: 0 0 3px rgba(163, 230, 53, 0.35);
    font-style: italic;
    letter-spacing: 0.5px;
}

.math-fallback-display {
    display: block;
    text-align: center;
    margin: 1.2em 0;
    padding: 8px;
    background: rgba(13, 17, 23, 0.6);
    border: 1px dashed var(--border-color);
    overflow-x: auto;
}

.math-fallback .math-bb {
    color: var(--amber);
    font-weight: bold;
}

/* ==========================================================================
   MONOGRAPH CATEGORY STYLING (PURE MATHEMATICS // AMBER GOLD ACCENTS)
   ========================================================================== */

.nav-btn-monograph {
    border-color: var(--amber) !important;
    color: var(--amber) !important;
}

.nav-btn-monograph:hover {
    background: var(--amber) !important;
    color: #000 !important;
    box-shadow: 0 0 10px rgba(245, 158, 11, 0.6) !important;
}

.box-monograph {
    border: 1px solid var(--amber) !important;
    box-shadow: 0 0 16px rgba(245, 158, 11, 0.12), 0 4px 16px rgba(0, 0, 0, 0.7);
}

.box-header-monograph {
    background: #1c1917 !important;
    border-bottom: 1px solid var(--amber) !important;
    color: var(--amber) !important;
}

.btn-amber {
    background: var(--amber) !important;
    color: #000 !important;
    border-color: var(--amber) !important;
    font-weight: bold !important;
}

.btn-amber:hover {
    background: #fde68a !important;
    box-shadow: 0 0 10px var(--amber) !important;
    color: #000 !important;
}

.monograph-section-block {
    margin-bottom: 18px;
    padding: 12px 14px;
    background: rgba(20, 27, 36, 0.5);
    border-left: 3px solid var(--border-color);
}

.monograph-section-block.highlight-block {
    border-left-color: var(--amber);
    background: rgba(245, 158, 11, 0.05);
}

.monograph-section-block h4 {
    color: var(--amber);
    font-size: 13px;
    margin-bottom: 6px;
}

/* KRYPTOS K4 STYLES */
.box-kryptos {
    border-color: var(--cyan) !important;
    box-shadow: 0 0 16px rgba(6, 182, 212, 0.15), 0 4px 16px rgba(0, 0, 0, 0.7);
}

.box-header-kryptos {
    background: #082f49 !important;
    border-bottom: 1px solid var(--cyan) !important;
    color: var(--cyan) !important;
}

.btn-cyan {
    background: transparent;
    color: var(--cyan) !important;
    border-color: var(--cyan) !important;
    font-weight: bold;
}

.btn-cyan:hover {
    background: var(--cyan) !important;
    color: #000 !important;
    box-shadow: 0 0 10px var(--cyan) !important;
}

.highlight-cyan {
    color: #00ffff;
    font-weight: bold;
    text-shadow: 0 0 5px rgba(0, 255, 255, 0.6);
    background: rgba(6, 182, 212, 0.15);
    padding: 0 2px;
    border-radius: 2px;
}

.highlight-amber-k4 {
    color: var(--amber);
    font-weight: bold;
    text-shadow: 0 0 5px rgba(245, 158, 11, 0.6);
    background: rgba(245, 158, 11, 0.15);
    padding: 0 2px;
    border-radius: 2px;
}