        :root {
            --clr-line-num: #4a5568;
            --clr-code-bg: #0d1117;
            --clr-code-border: #30363d;
        }

        html[data-theme="light"] {
            --clr-code-bg: #f6f8fa;
            --clr-code-border: #d0d7de;
            --clr-line-num: #8b949e;
        }

        /* ── NAV ── */
        .app-nav {
            background: var(--panel-bg);
            border-bottom: 1px solid var(--border-color);
            padding: 0 1.5rem;
            display: flex;
            gap: 0;
            overflow-x: auto;
            box-shadow: var(--shadow-sm);
        }

        .nav-btn {
            padding: 0.85rem 1rem;
            border: none;
            background: transparent;
            color: var(--clr-muted);
            cursor: pointer;
            font-size: 0.83rem;
            font-weight: 600;
            border-bottom: 3px solid transparent;
            transition: var(--transition-fast);
            white-space: nowrap;
            font-family: inherit;
        }

        .nav-btn:hover {
            color: var(--clr-text);
            background: var(--box-bg);
        }

        .nav-btn.active {
            color: var(--clr-accent-text);
            border-bottom-color: var(--clr-accent);
        }

        .nav-btn.done-nav::after {
            content: ' ✓';
            font-size: 0.68rem;
            color: var(--success-text);
        }

        /* ── SECTIONS ── */
        .section {
            display: none;
        }

        .section.active {
            display: block;
        }

        /* ── PRIMM LABELS ── */
        .primm-label {
            display: inline-flex;
            align-items: center;
            gap: 0.4rem;
            padding: 0.28rem 0.8rem;
            border-radius: 999px;
            font-size: 0.74rem;
            font-weight: 700;
            letter-spacing: 0.05em;
            text-transform: uppercase;
            margin-bottom: 0.8rem;
        }

        .primm-predict {
            background: rgba(167, 139, 250, 0.15);
            color: #a78bfa;
            border: 1px solid rgba(167, 139, 250, 0.4);
        }

        .primm-run {
            background: rgba(52, 211, 153, 0.12);
            color: var(--success-text);
            border: 1px solid rgba(52, 211, 153, 0.4);
        }

        .primm-investigate {
            background: rgba(251, 191, 36, 0.12);
            color: var(--warning-text);
            border: 1px solid rgba(251, 191, 36, 0.4);
        }

        .primm-modify {
            background: rgba(56, 189, 248, 0.12);
            color: var(--clr-accent2-text);
            border: 1px solid rgba(56, 189, 248, 0.4);
        }

        .primm-make {
            background: rgba(244, 114, 182, 0.12);
            color: #f472b6;
            border: 1px solid rgba(244, 114, 182, 0.4);
        }

        /* ── STEP INDICATOR ── */
        .step-indicator {
            display: flex;
            gap: 0.35rem;
            align-items: center;
            margin-bottom: 1.2rem;
            flex-wrap: wrap;
        }

        .step {
            display: flex;
            align-items: center;
            gap: 0.3rem;
            font-size: 0.78rem;
            color: var(--clr-muted);
        }

        .step-num {
            width: 20px;
            height: 20px;
            border-radius: 50%;
            background: var(--border-color);
            display: flex;
            align-items: center;
            justify-content: center;
            font-size: 0.68rem;
            font-weight: 700;
            flex-shrink: 0;
        }

        .step.done .step-num {
            background: var(--success);
            color: #0f172a;
        }

        .step.active .step-num {
            background: var(--clr-accent2);
            color: #0f172a;
        }

        .step.active {
            color: var(--clr-text);
        }

        .step-sep {
            color: var(--border-color);
        }

        /* ── CARDS ── */
        .primm-card {
            background: var(--panel-bg);
            border: 1px solid var(--border-color);
            border-radius: var(--radius);
            padding: 1.5rem;
            margin-bottom: 1.25rem;
            box-shadow: var(--shadow-sm);
            transition: var(--transition-fast);
        }

        .primm-card.locked {
            opacity: 0.4;
            pointer-events: none;
        }

        .primm-card:not(.locked):hover {
            border-color: var(--clr-accent);
            box-shadow: var(--shadow);
        }

        .task-header {
            display: flex;
            align-items: flex-start;
            justify-content: space-between;
            gap: 1rem;
            flex-wrap: wrap;
            margin-bottom: 0.7rem;
        }

        .task-title {
            font-size: 1.05rem;
            font-weight: 700;
            color: var(--clr-text);
        }

        .difficulty {
            display: flex;
            gap: 3px;
            align-items: center;
        }

        .dot {
            width: 8px;
            height: 8px;
            border-radius: 50%;
            background: var(--border-color);
        }

        .dot.filled {
            background: var(--warning);
        }

        /* ── CODE BLOCK ── */
        .code-wrap {
            margin: 0.9rem 0;
            border: 1px solid var(--clr-code-border);
            border-radius: 8px;
            overflow: hidden;
            background: var(--clr-code-bg);
        }

        .code-inner {
            display: flex;
            overflow-x: auto;
        }

        .line-nums {
            display: flex;
            flex-direction: column;
            padding: 0.9rem 0;
            background: #090d12;
            border-right: 1px solid #21262d;
            user-select: none;
            flex-shrink: 0;
        }

        html[data-theme="light"] .line-nums {
            background: #eaeef2;
            border-right-color: #d0d7de;
        }

        .line-nums span {
            display: block;
            padding: 0 0.7rem;
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            font-size: 0.82rem;
            line-height: 1.75;
            color: var(--clr-line-num);
            text-align: right;
            min-width: 2.4rem;
        }

        .code-content {
            padding: 0.9rem 1.2rem;
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            font-size: 0.86rem;
            line-height: 1.75;
            color: #e6edf3;
            white-space: pre;
            flex: 1;
        }

        html[data-theme="light"] .code-content {
            color: #24292f;
        }

        /* Syntax */
        .kw {
            color: #ff7b72;
        }

        .tp {
            color: #79c0ff;
        }

        .fn {
            color: #d2a8ff;
        }

        .nm {
            color: #79c0ff;
        }

        .cm {
            color: #8b949e;
            font-style: italic;
        }

        .var {
            color: #ffa657;
        }

        .op {
            color: #ff7b72;
        }

        .str {
            color: #a5d6ff;
        }

        html[data-theme="light"] .kw {
            color: #cf222e;
        }

        html[data-theme="light"] .tp {
            color: #0550ae;
        }

        html[data-theme="light"] .fn {
            color: #6639ba;
        }

        html[data-theme="light"] .nm {
            color: #0550ae;
        }

        html[data-theme="light"] .var {
            color: #953800;
        }

        html[data-theme="light"] .op {
            color: #cf222e;
        }

        html[data-theme="light"] .str {
            color: #0a3069;
        }

        /* ── CODE EDITOR ── */
        .code-editor {
            background: var(--clr-code-bg);
            border: 1px solid var(--clr-code-border);
            border-radius: 8px;
            overflow: hidden;
            margin: 0.9rem 0;
        }

        .editor-toolbar {
            background: #161b22;
            padding: 0.42rem 1rem;
            display: flex;
            align-items: center;
            justify-content: space-between;
            border-bottom: 1px solid var(--clr-code-border);
        }

        html[data-theme="light"] .editor-toolbar {
            background: #f0f3f6;
        }

        .editor-toolbar span {
            font-size: 0.73rem;
            color: var(--clr-muted);
        }

        .editor-body {
            display: flex;
            align-items: stretch;
        }

        .editor-line-nums {
            background: #090d12;
            border-right: 1px solid #21262d;
            padding: 0.9rem 0;
            flex-shrink: 0;
            user-select: none;
            pointer-events: none;
            min-width: 2.6rem;
        }

        html[data-theme="light"] .editor-line-nums {
            background: #eaeef2;
            border-right-color: #d0d7de;
        }

        .editor-line-nums span {
            display: block;
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            font-size: 0.84rem;
            line-height: 1.75;
            color: var(--clr-line-num);
            text-align: right;
            padding: 0 0.7rem;
        }

        textarea.code-textarea {
            flex: 1;
            background: var(--clr-code-bg);
            border: none;
            color: #e6edf3;
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            font-size: 0.84rem;
            line-height: 1.75;
            padding: 0.9rem 1.2rem;
            resize: none;
            overflow-y: hidden;
            overflow-x: auto;
            tab-size: 4;
            box-sizing: border-box;
            white-space: pre;
            word-wrap: normal;
            height: auto;
        }

        html[data-theme="light"] textarea.code-textarea {
            color: #24292f;
        }

        textarea.code-textarea:focus {
            outline: none;
        }

        /* ── TRACE TABLE ── */
        .trace-container {
            overflow-x: auto;
            margin: 0.9rem 0;
        }

        .trace-table {
            border-collapse: collapse;
            width: 100%;
            min-width: 320px;
            font-size: 0.83rem;
        }

        .trace-table th {
            background: rgba(56, 189, 248, 0.1);
            color: var(--clr-accent2-text);
            padding: 0.52rem 0.7rem;
            text-align: center;
            border: 1px solid var(--border-color);
            font-weight: 700;
            white-space: nowrap;
        }

        .trace-table td {
            border: 1px solid var(--border-color);
            padding: 0.33rem 0.55rem;
            text-align: center;
            background: var(--box-bg);
            font-family: monospace;
            color: var(--clr-muted);
        }

        .trace-table tr:nth-child(even) td {
            background: rgba(255, 255, 255, 0.02);
        }

        .trace-table tbody tr:hover td {
            background: rgba(52, 211, 153, 0.05);
        }

        .trace-input {
            background: var(--clr-bg);
            border: 1px solid var(--border-color);
            border-radius: 4px;
            color: var(--clr-text);
            font-family: monospace;
            font-size: 0.83rem;
            padding: 0.22rem 0.35rem;
            width: 70px;
            text-align: center;
            transition: border-color 0.2s;
        }

        .trace-input:focus {
            outline: none;
            border-color: var(--clr-accent);
        }

        .trace-input.correct {
            border-color: var(--success);
            background: rgba(52, 211, 153, 0.08);
            color: var(--success-text);
        }

        .trace-input.wrong {
            border-color: var(--danger);
            background: rgba(248, 113, 113, 0.08);
            color: var(--danger-text);
        }

        /* ── EXPRESSION EVALUATOR ── */
        .expr-grid {
            display: grid;
            grid-template-columns: 1fr auto 1fr;
            gap: 0.5rem 1rem;
            align-items: center;
            margin: 0.9rem 0;
        }

        .expr-code {
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            font-size: 0.9rem;
            color: var(--clr-accent2-text);
            background: var(--clr-code-bg);
            border: 1px solid var(--clr-code-border);
            border-radius: 6px;
            padding: 0.4rem 0.8rem;
        }

        .expr-arrow {
            color: var(--clr-muted);
            font-size: 1rem;
            text-align: center;
        }

        /* ── BOOL BADGE ── */
        .bool-true {
            display: inline-block;
            background: rgba(52, 211, 153, 0.15);
            color: var(--success-text);
            border: 1px solid var(--success);
            border-radius: 6px;
            padding: 0.15rem 0.6rem;
            font-family: monospace;
            font-size: 0.85rem;
            font-weight: 700;
        }

        .bool-false {
            display: inline-block;
            background: rgba(248, 113, 113, 0.15);
            color: var(--danger-text);
            border: 1px solid var(--danger);
            border-radius: 6px;
            padding: 0.15rem 0.6rem;
            font-family: monospace;
            font-size: 0.85rem;
            font-weight: 700;
        }

        /* ── CHOICE BUTTONS ── */
        .choice-group {
            display: flex;
            gap: 0.5rem;
            flex-wrap: wrap;
            margin-top: 0.6rem;
        }

        .btn-choice {
            padding: 0.45rem 1rem;
            border: 1px solid var(--border-color);
            border-radius: 8px;
            background: var(--box-bg);
            color: var(--clr-text);
            cursor: pointer;
            font-size: 0.85rem;
            font-weight: 600;
            font-family: inherit;
            transition: var(--transition-fast);
        }

        .btn-choice:hover {
            border-color: var(--clr-accent);
            background: rgba(52, 211, 153, 0.08);
            color: var(--clr-accent-text);
        }

        .btn-choice.sm {
            padding: 0.32rem 0.75rem;
            font-size: 0.77rem;
        }

        .btn-choice.selected-ok {
            border-color: var(--success);
            background: rgba(52, 211, 153, 0.12);
            color: var(--success-text);
        }

        .btn-choice.selected-err {
            border-color: var(--danger);
            background: rgba(248, 113, 113, 0.1);
            color: var(--danger-text);
        }

        /* ── ACTION BUTTONS ── */
        .btn-action {
            display: inline-flex;
            align-items: center;
            gap: 0.4rem;
            padding: 0.55rem 1.25rem;
            border: none;
            border-radius: 8px;
            cursor: pointer;
            font-size: 0.86rem;
            font-weight: 700;
            font-family: inherit;
            transition: var(--transition-fast);
        }

        .btn-action.primary {
            background: var(--clr-accent2);
            color: #0f172a;
        }

        .btn-action.primary:hover {
            background: #7dd3fc;
            transform: translateY(-1px);
        }

        .btn-action.success {
            background: var(--success);
            color: #0f172a;
        }

        .btn-action.success:hover {
            background: #6ee7b7;
            transform: translateY(-1px);
        }

        .btn-action.ghost {
            background: var(--box-bg);
            color: var(--clr-muted);
            border: 1px solid var(--border-color);
        }

        .btn-action.ghost:hover {
            border-color: var(--clr-accent);
            color: var(--clr-accent-text);
        }

        .btn-action.warn {
            background: var(--warning);
            color: #0f172a;
        }

        .btn-action.sm {
            padding: 0.3rem 0.7rem;
            font-size: 0.75rem;
        }

        .btn-group {
            display: flex;
            gap: 0.55rem;
            flex-wrap: wrap;
            margin-top: 0.9rem;
        }

        /* ── HINT ── */
        .hint-btn {
            font-size: 0.76rem;
            color: var(--warning-text);
            background: none;
            border: 1px solid rgba(251, 191, 36, 0.4);
            border-radius: 6px;
            padding: 0.27rem 0.62rem;
            cursor: pointer;
            font-family: inherit;
            transition: var(--transition-fast);
        }

        .hint-btn:hover {
            background: rgba(251, 191, 36, 0.1);
        }

        .hint-box {
            background: rgba(251, 191, 36, 0.06);
            border: 1px solid rgba(251, 191, 36, 0.35);
            border-radius: 8px;
            padding: 0.72rem 1rem;
            font-size: 0.83rem;
            color: var(--warning-text);
            margin-top: 0.55rem;
            display: none;
            line-height: 1.6;
        }

        .hint-box.show {
            display: block;
            animation: fadeIn 0.25s;
        }

        /* ── FEEDBACK ── */
        .feedback {
            padding: 0.72rem 1rem;
            border-radius: 8px;
            font-size: 0.87rem;
            margin-top: 0.75rem;
            display: none;
            animation: fadeIn 0.3s ease;
        }

        .feedback.show {
            display: flex;
            align-items: flex-start;
            gap: 0.5rem;
        }

        .feedback.ok {
            background: rgba(52, 211, 153, 0.1);
            border: 1px solid var(--success);
            color: var(--success-text);
        }

        .feedback.err {
            background: rgba(248, 113, 113, 0.1);
            border: 1px solid var(--danger);
            color: var(--danger-text);
        }

        .feedback.hint {
            background: rgba(251, 191, 36, 0.1);
            border: 1px solid var(--warning);
            color: var(--warning-text);
        }

        /* ── VAR-TABLE (variable state) ── */
        .var-table {
            border-collapse: collapse;
            font-size: 0.83rem;
            margin: 0.6rem 0;
        }

        .var-table th {
            background: rgba(167, 139, 250, 0.12);
            color: #a78bfa;
            padding: 0.4rem 0.9rem;
            border: 1px solid var(--border-color);
            font-weight: 700;
        }

        .var-table td {
            border: 1px solid var(--border-color);
            padding: 0.32rem 0.6rem;
            background: var(--box-bg);
            font-family: monospace;
            text-align: center;
        }

        /* ── STAT PILLS & HEADER ── */
        .stat-pill {
            background: var(--box-bg);
            border: 1px solid var(--border-color);
            border-radius: 999px;
            padding: 0.3rem 0.85rem;
            font-size: 0.8rem;
            display: flex;
            align-items: center;
            gap: 0.35rem;
            color: var(--clr-muted);
        }

        .stat-pill .val {
            font-weight: 700;
            color: var(--clr-accent-text);
        }

        .stats-bar {
            display: flex;
            gap: 0.6rem;
            flex-wrap: wrap;
            align-items: center;
        }

        /* ── STAT CARDS ── */
        .stat-grid {
            display: grid;
            grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
            gap: 0.9rem;
            margin-bottom: 1.75rem;
        }

        .stat-card {
            background: var(--panel-bg);
            border: 1px solid var(--border-color);
            border-radius: var(--radius);
            padding: 1.1rem;
            text-align: center;
            box-shadow: var(--shadow-sm);
        }

        .stat-card .big-num {
            font-size: 2.1rem;
            font-weight: 800;
            background: linear-gradient(135deg, var(--clr-accent), var(--clr-accent2));
            -webkit-background-clip: text;
            -webkit-text-fill-color: transparent;
            background-clip: text;
        }

        .stat-card .label {
            font-size: 0.77rem;
            color: var(--clr-muted);
            margin-top: 0.15rem;
        }

        /* ── PROGRESS ── */
        .progress-wrap {
            background: var(--box-bg);
            border-radius: 999px;
            height: 5px;
            overflow: hidden;
            margin: 0.3rem 0;
        }

        .progress-bar {
            height: 100%;
            background: linear-gradient(90deg, var(--clr-accent), var(--clr-accent2));
            border-radius: 999px;
            transition: width 0.4s ease;
        }

        /* ── BADGES ── */
        .badges-grid {
            display: grid;
            grid-template-columns: repeat(auto-fill, minmax(120px, 1fr));
            gap: 0.7rem;
            margin-top: 0.7rem;
        }

        .badge-item {
            background: var(--box-bg);
            border: 1px solid var(--border-color);
            border-radius: 10px;
            padding: 0.8rem;
            text-align: center;
            opacity: 0.28;
            filter: grayscale(0.6);
            transition: var(--transition-fast);
        }

        .badge-item.earned {
            opacity: 1;
            filter: none;
            border-color: var(--warning);
            background: rgba(251, 191, 36, 0.06);
            box-shadow: 0 0 14px rgba(251, 191, 36, 0.15);
            animation: popIn 0.4s cubic-bezier(0.175, 0.885, 0.32, 1.275);
        }

        @keyframes popIn {
            from {
                transform: scale(0.8);
                opacity: 0;
            }

            to {
                transform: scale(1);
                opacity: 1;
            }
        }

        .badge-icon {
            font-size: 1.85rem;
            margin-bottom: 0.28rem;
        }

        .badge-name {
            font-size: 0.72rem;
            font-weight: 700;
            color: var(--clr-text);
        }

        .badge-desc {
            font-size: 0.64rem;
            color: var(--clr-muted);
            margin-top: 0.15rem;
        }

        /* ── TOAST ── */
        .toast-container {
            position: fixed;
            top: 1.25rem;
            right: 1.25rem;
            z-index: 9999;
            display: flex;
            flex-direction: column;
            gap: 0.5rem;
        }

        .toast {
            background: var(--panel-bg);
            border: 1px solid var(--border-color);
            border-radius: 10px;
            padding: 0.72rem 1.1rem;
            display: flex;
            align-items: center;
            gap: 0.55rem;
            font-size: 0.84rem;
            box-shadow: var(--shadow);
            animation: slideIn 0.3s ease;
            min-width: 220px;
            max-width: 300px;
            color: var(--clr-text);
        }

        .toast.badge-toast {
            border-color: var(--warning);
        }

        .toast.success-toast {
            border-color: var(--success);
        }

        @keyframes slideIn {
            from {
                transform: translateX(120%);
                opacity: 0;
            }

            to {
                transform: none;
                opacity: 1;
            }
        }

        @keyframes slideOut {
            from {
                transform: none;
                opacity: 1;
            }

            to {
                transform: translateX(120%);
                opacity: 0;
            }
        }

        .toast.hiding {
            animation: slideOut 0.3s ease forwards;
        }

        /* ── COMPLETION ── */
        .completion-overlay {
            position: fixed;
            inset: 0;
            background: rgba(0, 0, 0, 0.75);
            display: none;
            align-items: center;
            justify-content: center;
            z-index: 9997;
        }

        .completion-overlay.show {
            display: flex;
            animation: fadeIn 0.3s;
        }

        .completion-box {
            background: var(--panel-bg);
            border: 2px solid var(--warning);
            border-radius: var(--radius-lg);
            padding: 2.4rem;
            text-align: center;
            max-width: 400px;
            width: 90%;
            box-shadow: var(--shadow-lg);
        }

        .completion-box h2 {
            font-size: 1.6rem;
            margin-bottom: 0.5rem;
        }

        .completion-box p {
            color: var(--clr-muted);
            margin-bottom: 1rem;
        }

        .xp-badge {
            display: inline-block;
            background: linear-gradient(135deg, var(--warning), #f59e0b);
            color: #0f172a;
            font-weight: 800;
            font-size: 1.1rem;
            padding: 0.35rem 1rem;
            border-radius: 999px;
            margin: 0.4rem 0;
        }

        /* ── CONFETTI ── */
        #confetti-canvas {
            position: fixed;
            top: 0;
            left: 0;
            width: 100%;
            height: 100%;
            pointer-events: none;
            z-index: 9998;
        }

        /* ── CONCEPT BOX ── */
        .concept-box {
            background: rgba(56, 189, 248, 0.07);
            border: 1px solid rgba(56, 189, 248, 0.3);
            border-radius: 10px;
            padding: 1rem 1.25rem;
            margin: 0.8rem 0;
            font-size: 0.87rem;
            line-height: 1.7;
            color: var(--clr-text);
        }

        .concept-box h4 {
            margin: 0 0 0.5rem;
            color: var(--clr-accent2-text);
            font-size: 0.9rem;
        }

        /* ── OPERATOR TABLE ── */
        .op-table {
            border-collapse: collapse;
            width: 100%;
            font-size: 0.85rem;
            margin: 0.7rem 0;
        }

        .op-table th {
            background: rgba(56, 189, 248, 0.1);
            color: var(--clr-accent2-text);
            padding: 0.45rem 0.8rem;
            border: 1px solid var(--border-color);
            text-align: left;
            font-weight: 700;
        }

        .op-table td {
            border: 1px solid var(--border-color);
            padding: 0.35rem 0.8rem;
            background: var(--box-bg);
            font-family: monospace;
        }

        .op-table tr:nth-child(even) td {
            background: rgba(255, 255, 255, 0.025);
        }

        /* streak */
        .streak-anim {
            animation: flicker 1.5s infinite alternate;
        }

        @keyframes flicker {
            from {
                filter: drop-shadow(0 0 3px #f97316);
            }

            to {
                filter: drop-shadow(0 0 10px #fb923c);
            }
        }

        @keyframes fadeIn {
            from {
                opacity: 0;
                transform: translateY(4px);
            }

            to {
                opacity: 1;
                transform: none;
            }
        }

        @media (max-width: 640px) {
            .expr-grid {
                grid-template-columns: 1fr;
            }

            .expr-arrow {
                display: none;
            }

            .trace-input {
                width: 52px;
            }
        }
    

        /* ── 2D-Arrays: Matrix-Tabellen und Auswahlknöpfe ── */
        .matrix-table th,
        .matrix-table td {
            min-width: 3rem;
        }

        .trace-table td.fest {
            color: var(--clr-text);
            font-weight: 700;
        }

        .trace-table td.code,
        .trace-table th.code {
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
            text-align: left;
            white-space: nowrap;
        }

        .frage {
            font-weight: 600;
            margin: 1rem 0 0.4rem;
        }

        .primm-card .frage:first-of-type {
            margin-top: 0.6rem;
        }

        .btn-choice.gewaehlt-richtig {
            border-color: var(--success);
            color: var(--success-text);
        }

        .btn-choice.gewaehlt-falsch {
            border-color: var(--danger);
            color: var(--danger-text);
            text-decoration: line-through;
        }

        .aufgabe-text {
            color: var(--clr-muted);
            font-size: 0.91rem;
        }

        .konzept-tabelle {
            border-collapse: collapse;
            margin: 0.6rem 0;
            font-family: 'Cascadia Code', 'Fira Code', 'Consolas', monospace;
        }

        .konzept-tabelle th,
        .konzept-tabelle td {
            border: 1px solid var(--border-color);
            padding: 0.35rem 0.7rem;
            text-align: center;
        }

        .konzept-tabelle th {
            color: var(--clr-accent2-text);
            background: rgba(56, 189, 248, 0.1);
            font-size: 0.8rem;
        }

        /* Kontrast-Korrekturen (WCAG AA) */
        .primm-predict { color: var(--clr-violet-text); }
        html[data-theme="light"] .primm-make { color: #b4235f; }
        html[data-theme="light"] .cm { color: #67707b; }
        :root { --clr-line-num: #8b949e; }
        html[data-theme="light"] { --clr-line-num: #57606a; }
