:root{--bg: #0a0a0f;--text: #e0ddd8;--accent: #5b8fad;--muted: #6a6a7a;--surface: #12121a;--border: #2a2a3a;--font-mono: "JetBrains Mono", monospace;--font-sans: "Inter", sans-serif;--allow: #6dba6d;--deny: #c75c5c;--escalate: #c9a84c}html,body{margin:0;padding:0;background:var(--bg);color:var(--text);font-family:var(--font-sans);max-width:none}.reveal{font-family:var(--font-sans);font-size:24px;color:var(--text)}.reveal .slides{text-align:left}.reveal .slides section{padding:2rem}.reveal .slide-background{background:var(--bg)}.reveal h1{font-family:var(--font-mono);font-weight:700;font-size:2.4em;line-height:1.15;color:var(--text);margin-bottom:.5em;text-transform:none}.reveal h2{font-family:var(--font-mono);font-weight:700;font-size:1.3em;color:var(--text);margin-bottom:.75em;text-transform:none}.reveal h3{font-family:var(--font-mono);font-weight:700;color:var(--accent);text-transform:none}.reveal p{font-size:.85em;line-height:1.65;color:var(--text);margin-bottom:.6em}.reveal strong{color:var(--text);font-weight:700}.reveal em{color:var(--accent);font-style:italic}.reveal blockquote{background:var(--surface);border-left:4px solid var(--accent);padding:1.2em 1.5em;margin:.8em 0;border-radius:0 6px 6px 0;font-family:var(--font-mono);font-size:.9em;line-height:1.5;color:var(--accent);box-shadow:none;width:auto}.reveal blockquote p,.reveal .controls{color:var(--accent)}.reveal .progress{color:var(--accent);height:3px}.marker{font-family:var(--font-mono);color:var(--accent);margin-right:.4em;font-weight:700}.overline{font-family:var(--font-mono);font-size:.65em!important;color:var(--muted);letter-spacing:.08em;margin-bottom:.4em}.subtitle{font-size:.75em!important;color:var(--muted);margin-top:0}.author{font-family:var(--font-mono);font-size:.65em!important;color:var(--accent);margin-top:1.5em}.accent{color:var(--accent)}.dim{color:var(--muted)}.note{font-size:.7em!important;color:var(--muted);margin-top:1em}.parity-note{font-family:JetBrains Mono,monospace;font-size:.65em!important;color:var(--accent);margin-top:.9em;letter-spacing:.02em}.terminal-box{background:var(--surface);border:1px solid var(--border);border-radius:8px;overflow:hidden;margin:.8em 0}.terminal-header{display:flex;gap:6px;padding:10px 14px;background:var(--bg);border-bottom:1px solid var(--border)}.dot{width:10px;height:10px;border-radius:50%}.dot.red{background:var(--deny)}.dot.amber{background:var(--escalate)}.dot.green{background:var(--allow)}.terminal-body{padding:1em 1.2em}.mono-line{font-family:var(--font-mono);font-size:.7em!important;line-height:1.8;margin:0!important}.mono-line.dim{color:var(--muted)}.mono-line.warn{color:var(--escalate);margin-top:.3em!important}.styled-list{list-style:none;padding:0;margin:.5em 0}.styled-list li{font-size:.8em;line-height:1.6;padding:.35em 0 .35em 1.5em;position:relative}.styled-list li:before{content:">";font-family:var(--font-mono);color:var(--accent);font-weight:700;position:absolute;left:0}.allow-tag,.deny-tag,.escalate-tag{font-family:var(--font-mono);font-size:.7em;padding:.15em .5em;border-radius:3px;margin-right:.5em;font-weight:700;display:inline-block;vertical-align:middle}.allow-tag{color:var(--allow);border:1px solid var(--allow)}.deny-tag{color:var(--deny);border:1px solid var(--deny)}.escalate-tag{color:var(--escalate);border:1px solid var(--escalate)}.two-col{display:flex;gap:1.5em;margin-top:1em}.col{flex:1;padding:1.2em;background:var(--surface);border:1px solid var(--border);border-radius:6px}.col.wrong{border-color:var(--deny)}.col.right-col{border-color:var(--allow)}.col-label{font-family:var(--font-mono);font-size:.6em!important;font-weight:700;margin-bottom:.4em;letter-spacing:.05em}.deny-label{color:var(--deny)}.allow-label{color:var(--allow)}.col p:last-child{font-size:.85em!important;margin:0}.examples-grid{display:flex;gap:1em;margin-top:1em}.example-card{flex:1;padding:1em;background:var(--surface);border:1px solid var(--border);border-radius:6px}.example-title{font-family:var(--font-mono);font-weight:700;font-size:.7em!important;color:var(--accent);margin-bottom:.3em}.example-desc{font-size:.65em!important;color:var(--muted);margin:0}.comparison-table{width:100%;border-collapse:collapse;font-size:.7em;margin:.5em 0}.comparison-table th,.comparison-table td{padding:.6em .8em;text-align:left;border-bottom:1px solid var(--border)}.comparison-table th{font-family:var(--font-mono);font-weight:700;color:var(--muted);font-size:.85em}.comparison-table td:first-child{font-family:var(--font-mono);font-weight:700;color:var(--text)}.comparison-table td.dim{color:var(--muted)}.comparison-table td.accent{color:var(--accent)}.discussion-question{font-size:1.15em!important;line-height:1.4;color:var(--accent);max-width:80%}.heartbleed-promo{margin-top:2.5em;padding-top:1em;border-top:1px solid var(--border)}.heartbleed-credits{font-family:var(--font-mono);font-size:.55em!important;color:var(--muted)}.fn-link{color:var(--accent);text-decoration:none;font-size:.8em;margin-left:.1em}.fn-link:hover{text-decoration:underline}.problem-grid{display:flex;gap:1.5em;margin-top:.5em}.problem-card{flex:1;padding:1.2em 1.4em;background:var(--surface);border:1px solid var(--border);border-radius:6px}.problem-card h3{font-size:.75em!important;margin-bottom:.8em}.stat-row{display:flex;align-items:baseline;gap:.5em;margin-bottom:.25em}.stat-num{font-family:var(--font-mono);font-weight:700;font-size:.95em;color:var(--accent);min-width:3.5em}.stat-label{font-size:.65em;color:var(--muted)}.problem-cite{font-size:.6em!important;color:var(--muted);margin-top:.8em;padding-top:.6em;border-top:1px solid var(--border);line-height:1.5}.links-row{display:flex;gap:1em;margin-top:2em;flex-wrap:wrap}.link-btn{font-family:var(--font-mono);font-size:.7em;color:var(--accent);text-decoration:none;padding:.6em 1.5em;border:1px solid var(--accent);border-radius:6px;transition:background .2s,color .2s}.link-btn:hover{background:var(--accent);color:var(--bg)}.models-row{display:flex;gap:1em;margin:1em 0}.model-card{flex:1;padding:.9em 1em;background:var(--surface);border:1px solid var(--border);border-radius:6px;text-align:center}.model-card.glm{border-color:var(--allow)}.model-name{font-family:var(--font-mono);font-weight:700;font-size:.85em!important;color:var(--accent);margin-bottom:.2em}.model-card.glm .model-name{color:var(--allow)}.model-desc{font-size:.6em!important;color:var(--muted);margin:0}.reveal .mermaid{display:flex;justify-content:center;margin:.6em auto;padding:1.2em 1em .8em;border:1px dashed var(--border);border-radius:6px;background:transparent;max-width:95%}.reveal .mermaid svg{max-width:100%;max-height:56vh;height:auto}.reveal .mermaid g.node rect,.reveal .mermaid .node>rect{rx:0!important;ry:0!important}.reveal .mermaid text,.reveal .mermaid foreignObject div,.reveal .mermaid .nodeLabel,.reveal .mermaid .edgeLabel{font-family:var(--font-mono)!important;font-weight:500}.reveal .mermaid .nodeLabel,.reveal .mermaid .nodeLabel foreignObject div{color:var(--text)!important;font-size:15px!important}.reveal .mermaid .edgeLabel,.reveal .mermaid .edgeLabel *,.reveal .mermaid g.edgeLabel,.reveal .mermaid g.edgeLabel *{color:var(--accent)!important;fill:var(--accent)!important}.reveal .mermaid .edgeLabel foreignObject,.reveal .mermaid .edgeLabel foreignObject div,.reveal .mermaid .edgeLabel foreignObject p,.reveal .mermaid .edgeLabel foreignObject span,.reveal .mermaid .edgeLabel .labelBkg{background:transparent!important;background-color:transparent!important}.reveal .mermaid .edgeLabel foreignObject{overflow:visible!important}.reveal .mermaid .edgeLabel foreignObject div,.reveal .mermaid .edgeLabel foreignObject p{background-color:var(--bg)!important;font-size:13px!important;padding:1px 4px!important;line-height:1.3!important;margin:0!important;white-space:nowrap!important;overflow:visible!important;width:auto!important;display:inline-block!important}.reveal .mermaid .edge-thickness-normal,.reveal .mermaid path.flowchart-link{stroke:var(--muted)!important;stroke-width:1.5px!important;fill:none!important}.reveal .mermaid marker path{fill:var(--muted)!important;stroke:var(--muted)!important}.pipeline-intro{font-size:.7em!important;color:var(--muted);margin-bottom:1em}.approach-caption{font-family:var(--font-mono);font-size:.6em!important;color:var(--muted);margin:.4em 0!important;letter-spacing:.04em}.caption-tag{display:inline-block;font-weight:700;color:var(--accent);border:1px solid var(--accent);padding:1px 6px;border-radius:3px;margin-right:.6em;letter-spacing:.08em}.mythos-caption .caption-tag{color:var(--escalate);border-color:var(--escalate)}.ic-caption .caption-tag{color:var(--allow);border-color:var(--allow)}.pipeline{display:flex;align-items:stretch;gap:.25em;margin:0}.pipeline-mono .mono-stage{flex:1;background:var(--surface);border:1px solid var(--escalate);border-radius:4px;padding:.9em 1.2em;text-align:center}.mono-stage-title{color:var(--escalate)!important;margin-bottom:.4em}.pipe-stage{flex:1;background:var(--surface);border:1px solid var(--border);border-radius:4px;padding:.9em .6em .8em;display:flex;flex-direction:column;align-items:center;text-align:center;min-width:0}.pipe-num{font-family:var(--font-mono);font-weight:700;width:26px;height:26px;border-radius:50%;background:var(--accent);color:var(--bg);display:flex;align-items:center;justify-content:center;font-size:13px;margin-bottom:.5em;line-height:1}.pipe-title{font-family:var(--font-mono);font-weight:700;font-size:.6em;color:var(--accent);margin-bottom:.45em;letter-spacing:.06em}.pipe-desc{font-size:.55em!important;color:var(--text);margin:0;line-height:1.45}.pipe-arrow{font-family:var(--font-mono);color:var(--accent);align-self:center;font-size:1.4em;font-weight:700;opacity:.8}.approach-note{font-size:.6em!important;color:var(--muted);margin:.5em 0 1em!important;line-height:1.5}.mark-bad,.mark-good{font-family:var(--font-mono);font-weight:700;display:inline-block;width:1.4em;margin-right:.2em}.mark-bad{color:var(--deny)}.mark-good{color:var(--allow)}.findings-intro{font-size:.7em!important;color:var(--muted);margin-bottom:.8em}.findings-grid{display:flex;gap:.7em;margin:.2em 0;align-items:stretch}.finding-card{flex:1;background:var(--surface);border:1px solid var(--border);border-radius:5px;padding:.9em .9em .85em;display:flex;flex-direction:column;min-width:0;position:relative}.finding-found{border-color:var(--accent)}.finding-ruled-out{border-color:var(--muted);opacity:.92}.finding-tag{font-family:var(--font-mono);font-weight:700;font-size:.5em!important;letter-spacing:.1em;padding:2px 6px;border-radius:3px;display:inline-block;margin-bottom:.55em;align-self:flex-start}.tag-found{color:var(--accent);border:1px solid var(--accent)}.tag-ruled-out{color:var(--muted);border:1px solid var(--muted)}.tag-patched{color:var(--allow);border:1px solid var(--allow)}.finding-status-row{display:flex;justify-content:space-between;align-items:center;gap:.4em;margin-bottom:.55em}.finding-status-row .finding-tag{margin-bottom:0}.finding-target{font-size:.55em!important;color:var(--muted);margin:0 0 .25em!important;line-height:1.35;font-style:italic}.finding-subsystem{font-family:var(--font-mono);font-weight:700;font-size:.65em!important;color:var(--text);margin:0 0 .6em!important;line-height:1.3}.finding-divider{border:0;border-top:1px solid var(--border);margin:.2em 0 .6em}.finding-class{font-family:var(--font-mono);font-weight:700;font-size:.6em!important;color:var(--accent);margin:0 0 .4em!important;line-height:1.35}.ruled-out-class{color:var(--muted)}.finding-severity{font-family:var(--font-mono);font-weight:700;font-size:.5em!important;letter-spacing:.08em;padding:1px 6px;border-radius:3px;display:inline-block;margin:0 0 .7em!important;align-self:flex-start}.sev-high{color:var(--deny);border:1px solid var(--deny)}.sev-med{color:var(--escalate);border:1px solid var(--escalate)}.sev-critical{color:var(--deny);background:#c75c5c1f;border:1px solid var(--deny)}.finding-stats{list-style:none;padding:0;margin:0 0 .6em!important}.finding-stats li{font-family:var(--font-mono);font-size:.55em!important;color:var(--muted);line-height:1.5;padding-left:.9em;position:relative}.finding-stats li:before{content:">";color:var(--muted);position:absolute;left:0}.finding-note{font-size:.55em!important;color:var(--text);margin:auto 0 0!important;line-height:1.5;padding-top:.4em;border-top:1px solid var(--border)}.finding-ruled-out .finding-note{color:var(--muted)}.stack-row{display:flex;gap:1em;margin:.4em 0 .8em;align-items:stretch}.stack-card{flex:1;background:var(--surface);border:1px solid var(--accent);border-radius:5px;padding:1em 1.1em .9em;min-width:0}.stack-tag{font-family:var(--font-mono);font-weight:700;font-size:.5em!important;letter-spacing:.1em;color:var(--accent);border:1px solid var(--accent);padding:2px 6px;border-radius:3px;display:inline-block;margin-bottom:.7em}.stack-title{font-family:var(--font-mono);font-weight:700;font-size:.85em!important;margin:0 0 .4em!important;color:var(--accent)}.stack-examples{font-family:var(--font-mono);font-size:.55em!important;color:var(--muted);margin:0 0 .7em!important;line-height:1.5}.stack-desc{font-size:.6em!important;line-height:1.55;margin:0!important;color:var(--text)}.slide-footnote{font-size:.5em!important;color:var(--muted);margin-top:.6em!important;font-style:italic}@media(max-width:768px){.reveal .slides section{padding:1rem}.terminal-box{max-width:100%}.terminal-body{padding:.8em}.mono-line{font-size:.55em!important;word-break:break-word;white-space:normal}.problem-grid,.two-col,.examples-grid,.models-row,.pipeline,.notes-row,.findings-grid,.stack-row{flex-direction:column}.pipe-arrow{transform:rotate(90deg);margin:.2em 0}.pipeline-flank{flex-direction:column;gap:.3em;align-items:flex-start}.fsm-branches{flex-direction:column;gap:.3em}.arch-layer{width:100%;padding:.6em .8em;font-size:.6em}.comparison-table{font-size:.55em}.comparison-table th,.comparison-table td{padding:.4em}.allow-tag,.deny-tag,.escalate-tag{font-size:.6em;padding:.1em .35em}.stat-num{min-width:2.5em;font-size:.85em}}
