:root{--alice: #00d4ff;--bob: #ff00aa;--blinded: #ffd700;--double-blinded: #9d4edd;--match: #00ff88;--no-match: #6b6b8a;--private: #ff3366;--warning: #ffaa00;--bg: #0a0a0f;--surface: #12121e;--surface2: #1a1a2e;--border: #2d2d44;--text: #e0e0ff;--text-muted: #9999bb;--radius: 8px;--mono: "Fira Code", "Cascadia Code", "JetBrains Mono", ui-monospace, monospace;--focus: #00d4ff}[data-theme=light]{--alice: #006d8f;--bob: #b8006a;--blinded: #8a6a00;--double-blinded: #5a1e9a;--match: #00794a;--no-match: #6a6a7a;--private: #b8002d;--warning: #8a5200;--bg: #f8f8ff;--surface: #ffffff;--surface2: #f0f0f8;--border: #c8c8dd;--text: #14142b;--text-muted: #44447a;--focus: #006d8f}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{background:var(--bg);color:var(--text);font-family:system-ui,-apple-system,sans-serif;line-height:1.6;min-height:100vh;overflow-x:hidden}:focus-visible{outline:2px solid var(--focus);outline-offset:3px;border-radius:4px}.skip-link{position:absolute;top:-3rem;left:1rem;padding:.5rem 1rem;background:var(--alice);color:var(--bg);border-radius:0 0 var(--radius) var(--radius);font-weight:600;font-size:.9rem;z-index:9999;text-decoration:none;transition:top .15s}.skip-link:focus{top:0}#app{max-width:960px;margin:0 auto;padding:1rem}header{text-align:center;padding:2rem 1rem 1.25rem;border-bottom:1px solid var(--border);margin-bottom:1.5rem}header h1{font-size:clamp(1.5rem,5vw,2rem);letter-spacing:-.5px;color:var(--alice)}header p{color:var(--text-muted);max-width:600px;margin:.5rem auto 0;font-size:clamp(.85rem,2.5vw,1rem)}[role=tablist]{display:flex;gap:0;overflow-x:auto;-webkit-overflow-scrolling:touch;border-bottom:2px solid var(--border);margin-bottom:1.5rem;scrollbar-width:none}[role=tablist]::-webkit-scrollbar{display:none}[role=tab]{flex-shrink:0;padding:.6rem .9rem;border:none;background:transparent;color:var(--text-muted);cursor:pointer;font-size:clamp(.78rem,2vw,.9rem);border-bottom:2px solid transparent;margin-bottom:-2px;transition:color .15s,border-color .15s;white-space:nowrap;min-height:44px}[role=tab]:hover{color:var(--text)}[role=tab][aria-selected=true]{color:var(--alice);border-bottom-color:var(--alice);font-weight:600}[role=tabpanel]{display:none;animation:fadeIn .2s ease}[role=tabpanel].active{display:block}@keyframes fadeIn{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}h2{font-size:clamp(1.1rem,4vw,1.3rem);margin-bottom:.75rem;color:var(--text)}h3{margin:1.25rem 0 .5rem;color:var(--text-muted);text-transform:uppercase;letter-spacing:.8px;font-size:.78rem}p{margin-bottom:.75rem;color:var(--text-muted);font-size:clamp(.85rem,2.5vw,1rem)}.card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);padding:1.25rem;margin-bottom:1rem}.card-row{display:grid;grid-template-columns:1fr 1fr;gap:1rem}@media(max-width:540px){.card-row{grid-template-columns:1fr}}.set-label{font-size:.75rem;font-weight:700;text-transform:uppercase;letter-spacing:1px;margin-bottom:.5rem}.set-label.alice{color:var(--alice)}.set-label.bob{color:var(--bob)}.element-list{list-style:none;display:flex;flex-direction:column;gap:.25rem}.element-list li{font-family:var(--mono);font-size:clamp(.8rem,2vw,.85rem);padding:.3rem .55rem;border-radius:4px;background:var(--surface2);border:1px solid var(--border);transition:background .3s,border-color .3s,box-shadow .3s;word-break:break-all}.element-list li.match{color:var(--match);border-color:var(--match);box-shadow:0 0 8px color-mix(in srgb,var(--match) 30%,transparent);padding-left:1.6rem;position:relative}.element-list li.match:before{content:"✓";position:absolute;left:.5rem;top:50%;transform:translateY(-50%);font-weight:700;color:var(--match)}.element-list li.no-match{color:var(--no-match)}.element-list li.blinded{color:var(--blinded);border-color:color-mix(in srgb,var(--blinded) 40%,var(--border))}.element-list li.double-blinded{color:var(--double-blinded);border-color:color-mix(in srgb,var(--double-blinded) 40%,var(--border))}.btn{display:inline-flex;align-items:center;justify-content:center;gap:.4rem;padding:.55rem 1.1rem;border:1px solid var(--border);border-radius:var(--radius);background:var(--surface2);color:var(--text);cursor:pointer;font-size:clamp(.82rem,2vw,.875rem);transition:background .15s,border-color .15s;min-height:44px;min-width:44px}.btn:hover:not(:disabled){background:var(--surface);border-color:var(--alice)}.btn:disabled{opacity:.5;cursor:not-allowed}.btn.primary{background:var(--alice);color:var(--bg);border-color:var(--alice);font-weight:600}.btn.primary:hover:not(:disabled){filter:brightness(1.1)}.btn.danger{background:var(--private);color:#fff;border-color:var(--private)}.btn.danger:hover:not(:disabled){filter:brightness(1.1)}textarea{width:100%;background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);color:var(--text);font-family:var(--mono);font-size:16px;padding:.75rem;resize:vertical;min-height:7rem}@media(min-width:600px){textarea{font-size:.875rem}}textarea:focus{outline:2px solid var(--focus);outline-offset:2px;border-color:var(--alice)}code,.mono{font-family:var(--mono);font-size:.82rem}pre{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);padding:1rem;overflow-x:auto;font-family:var(--mono);font-size:clamp(.78rem,1.8vw,.85rem);line-height:1.6;white-space:pre;-webkit-overflow-scrolling:touch}.step-panel{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);padding:1.25rem;margin-bottom:1rem;min-height:180px}.step-counter{display:inline-flex;align-items:center;justify-content:center;width:1.8rem;height:1.8rem;border-radius:50%;background:var(--alice);color:var(--bg);font-weight:700;font-size:.85rem;margin-right:.5rem;flex-shrink:0}.step-nav{display:flex;align-items:center;gap:.75rem;flex-wrap:wrap}.status{font-size:clamp(.78rem,2vw,.82rem);padding:.5rem .75rem;border-radius:var(--radius);margin-top:.25rem}.status.ok{color:var(--match)}.status.warn{color:var(--warning)}.status.error{color:var(--private)}.status.info{color:var(--alice)}.copy-status{font-size:.8rem;color:var(--match);font-family:var(--mono);transition:opacity .2s ease}.copy-status:empty{opacity:0}.scalar-btn{display:inline-block;background:var(--private);color:var(--private);-webkit-user-select:none;user-select:none;border-radius:4px;font-family:var(--mono);font-size:.78rem;padding:.25rem .55rem;cursor:pointer;letter-spacing:1px;border:1px solid transparent;max-width:100%;min-height:32px;word-break:break-all;text-align:left;transition:background .2s,color .2s,border-color .2s}.scalar-btn:hover{border-color:var(--private)}.scalar-btn[aria-pressed=true]{background:color-mix(in srgb,var(--private) 12%,var(--surface2));color:var(--private);border-color:var(--private)}.scalar-btn:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.result-box{background:var(--surface2);border:1px solid var(--border);border-radius:var(--radius);padding:1rem;margin-top:1rem}.intersection-item{display:flex;align-items:center;gap:.5rem;font-family:var(--mono);font-size:clamp(.78rem,2vw,.85rem);color:var(--match);padding:.2rem 0;word-break:break-all}.intersection-item:before{content:"✓";font-weight:700;flex-shrink:0}.info-grid{display:grid;grid-template-columns:auto 1fr;gap:.3rem .75rem;font-size:clamp(.78rem,2vw,.85rem);align-items:baseline}@media(max-width:400px){.info-grid{grid-template-columns:1fr;gap:.1rem}.info-label{margin-top:.4rem;font-size:.72rem}}.info-label{color:var(--text-muted)}.info-value{color:var(--text);font-family:var(--mono);word-break:break-all}.info-value.alice{color:var(--alice)}.info-value.bob{color:var(--bob)}.info-value.private{color:var(--private)}.info-value.match{color:var(--match)}.info-value.warning{color:var(--warning)}.warning-box{border:1px solid var(--warning);background:color-mix(in srgb,var(--warning) 10%,var(--surface));border-radius:var(--radius);padding:.85rem 1rem;color:var(--warning);font-size:clamp(.78rem,2vw,.875rem);margin-top:.75rem}.deployment-grid{display:grid;gap:.75rem}.deployment-card{background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);padding:.9rem 1.1rem}.deployment-card h4{color:var(--alice);font-size:.9rem;margin-bottom:.25rem}.deployment-card p{font-size:.84rem;margin:0}footer{margin-top:3rem;padding:1.5rem 0;border-top:1px solid var(--border);text-align:center;color:var(--text-muted);font-size:.82rem}.theme-toggle{position:fixed;top:.75rem;right:.75rem;padding:.4rem .7rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);color:var(--text-muted);cursor:pointer;font-size:.8rem;min-height:44px;min-width:44px;z-index:100}.theme-toggle:hover{border-color:var(--alice);color:var(--text)}.security-note{display:inline-block;background:color-mix(in srgb,var(--warning) 15%,var(--surface));border:1px solid var(--warning);border-radius:4px;padding:.15rem .5rem;font-size:.75rem;color:var(--warning);margin-left:.4rem;white-space:nowrap}.spinner{display:inline-block;width:.9rem;height:.9rem;border:2px solid var(--border);border-top-color:var(--alice);border-radius:50%;animation:spin .6s linear infinite;flex-shrink:0}@keyframes spin{to{transform:rotate(360deg)}}.card-section-label{font-size:.75rem;font-weight:700;text-transform:uppercase;letter-spacing:1px;color:var(--text-muted);margin-bottom:.5rem}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border-width:0}.proto-picker{border:1px solid var(--border);border-radius:var(--radius);padding:.75rem 1rem .85rem;margin:1rem 0 0;display:grid;gap:.5rem}.proto-picker legend{padding:0 .4rem;font-size:.78rem;font-weight:700;text-transform:uppercase;letter-spacing:1px;color:var(--text-muted)}.proto-option{display:grid;grid-template-columns:auto 1fr;column-gap:.55rem;row-gap:.1rem;align-items:center;padding:.45rem .55rem;border:1px solid transparent;border-radius:var(--radius);cursor:pointer;min-height:44px}.proto-option:hover{border-color:var(--border);background:var(--surface2)}.proto-option:has(input:checked){border-color:var(--alice);background:color-mix(in srgb,var(--alice) 8%,var(--surface))}.proto-option input{width:1.1rem;height:1.1rem;accent-color:var(--alice)}.proto-option span{font-weight:600;color:var(--text)}.proto-option small{grid-column:2;color:var(--text-muted);font-size:.78rem}.tv-row,.wire-line{display:grid;grid-template-columns:11rem 1fr;gap:.5rem .75rem;align-items:baseline;padding:.2rem 0;border-bottom:1px dashed var(--border)}.tv-row:last-child,.wire-line:last-child{border-bottom:none}@media(max-width:600px){.tv-row,.wire-line{grid-template-columns:1fr;gap:.1rem;padding:.45rem 0}}.tv-label{color:var(--text-muted);font-size:.78rem;font-weight:600}.tv-hex,.wire-hex{font-family:var(--mono);font-size:clamp(.7rem,1.8vw,.78rem);color:var(--text);word-break:break-all;line-height:1.5}.wire-tag{font-family:var(--mono);font-size:.78rem;font-weight:700;color:var(--text-muted)}.wire-alice .wire-hex{color:var(--alice)}.wire-bob .wire-hex{color:var(--bob)}.wire-doubleblinded .wire-hex{color:var(--double-blinded)}.bench-table,.probe-table,.psi-compare{width:100%;border-collapse:collapse;font-size:clamp(.78rem,2vw,.86rem)}.bench-table th,.bench-table td,.probe-table th,.probe-table td,.psi-compare th,.psi-compare td{text-align:left;padding:.45rem .6rem;border-bottom:1px solid var(--border);vertical-align:top}.bench-table thead th,.probe-table thead th,.psi-compare thead th{color:var(--text-muted);text-transform:uppercase;letter-spacing:1px;font-size:.72rem;font-weight:700;border-bottom:2px solid var(--border)}.bench-table td.num,.bench-table th.num{text-align:right;font-family:var(--mono);white-space:nowrap}.bench-table .bench-section{text-align:center;color:var(--alice);font-weight:700;font-size:.78rem;text-transform:uppercase;letter-spacing:1px;padding-top:.75rem;border-bottom:2px solid var(--border)}.probe-table .mono-cell{font-family:var(--mono);font-size:.78rem;color:var(--text-muted);word-break:break-all}.probe-table .probe-detail td{padding-top:0;padding-bottom:.7rem;color:var(--text-muted);font-size:.82rem;border-bottom:2px solid var(--border)}.psi-compare-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch;border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);margin-top:.5rem}.psi-compare{min-width:640px}.psi-compare th[scope=row]{color:var(--alice);font-weight:700}.psi-compare em{color:var(--text-muted);font-style:italic;font-weight:400}.proof-list{list-style:decimal inside;color:var(--text);font-size:clamp(.82rem,2vw,.9rem);margin:.5rem 0;padding-left:.25rem}.proof-list li{margin-bottom:.3rem;line-height:1.5}.proof-note{color:var(--text-muted);font-size:.82rem;font-style:italic;margin-top:.5rem}.caveat-list{list-style:none;padding:0;margin:.5rem 0;display:grid;gap:.5rem}.caveat-list li{padding:.55rem .75rem;border-left:3px solid var(--warning);background:color-mix(in srgb,var(--warning) 8%,var(--surface));border-radius:0 var(--radius) var(--radius) 0;font-size:clamp(.82rem,2vw,.9rem);color:var(--text)}.caveat-list strong{color:var(--warning)}.ddh-chart-wrap{width:100%;overflow-x:auto;-webkit-overflow-scrolling:touch;border:1px solid var(--border);border-radius:var(--radius);background:var(--surface2);padding:.5rem;margin-bottom:.75rem}.ddh-chart{width:100%;min-width:320px;height:auto;display:block}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}