:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;background-color:#242424;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;min-width:320px;min-height:100vh}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#1a1a1a;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}@media(prefers-color-scheme:light){:root{color:#213547;background-color:#fff}a:hover{color:#747bff}button{background-color:#f9f9f9}}:root{--color-n: #ec4899;--color-phi: #d946ef;--color-alice-key: #eab308;--color-alice-l: #ca8a04;--color-alice-encrypted: #fde047;--color-bob-key: #3b82f6;--color-bob-l: #1d4ed8;--color-bob-encrypted: #60a5fa;--color-plaintext: #f5f5f5;--color-double-encrypted: #10b981}#root{max-width:100%;margin:0;padding:0}.container{display:flex;flex-direction:column;align-items:center;gap:2rem;padding:2rem;max-width:1200px;margin:0 auto}.logo-container{display:flex;justify-content:center;align-items:center;margin-bottom:.5rem}.logo{margin-left:20px;max-width:600px;height:auto;filter:invert(1) brightness(1.1) contrast(1.1);mix-blend-mode:lighten;opacity:.9}@media(max-width:768px){.logo{max-width:400px}}h1{font-size:2.5rem;margin:0 0 1rem;color:#646cff}h2{font-size:1.5rem;margin:0 0 1rem;color:#646cff}h3{font-size:1.2rem;margin:1rem 0 0;color:#ffffffde}h4{font-size:1rem;margin:0 0 .75rem;color:#ffffffde;font-weight:600}h5{font-size:.85rem;margin:0 0 .5rem;color:#ffffffb3;font-weight:600;text-transform:uppercase;letter-spacing:.05em}.intro-section{text-align:left;line-height:1.8}.intro-section h2{margin-top:0;margin-bottom:1.5rem}.intro-section p{margin:0 0 1rem;font-size:1rem;color:#ffffffde}.intro-section p:last-child{margin-bottom:0}.paper-reference{margin-top:1.5rem!important;padding:1rem 1.25rem;background-color:#646cff14;border-left:4px solid #646cff;border-radius:6px;font-size:.95rem}.paper-link{color:#646cff;text-decoration:none;font-weight:600;border-bottom:2px solid transparent;transition:border-color .2s ease}.paper-link:hover{border-bottom-color:#646cff}.prime-form{display:flex;flex-direction:column;gap:1rem;width:100%;max-width:400px;padding:2rem;background-color:#1a1a1a;border-radius:12px;box-shadow:0 4px 6px #0000001a}.form-group{display:flex;flex-direction:column;gap:.5rem;text-align:left}.form-group label{font-size:1rem;font-weight:500;color:#ffffffde}.number-input{padding:.75rem 1rem;font-size:1.1rem;border:2px solid var(--color-n);border-radius:8px;background-color:#242424;color:var(--color-n);transition:border-color .3s ease}.number-input:focus{outline:none;border-color:var(--color-n);box-shadow:0 0 0 3px #ec489933}.number-input.input-error{border-color:#ef4444;color:#ef4444}.number-input.input-error:focus{border-color:#ef4444;box-shadow:0 0 0 3px #ef444433}.error-message{margin-top:.5rem;padding:.5rem .75rem;background-color:#ef44441a;border:1px solid rgba(239,68,68,.3);border-radius:6px;color:#ef4444;font-size:.9rem;font-weight:500}.suggested-primes{display:flex;align-items:center;gap:.75rem;margin-top:.5rem;flex-wrap:wrap}.suggested-label{font-size:.9rem;color:#fff9;font-weight:500}.suggested-prime-btn{padding:.5rem 1rem;font-size:.85rem;font-weight:500;color:var(--color-n);background-color:#ec48991a;border:1px solid var(--color-n);border-radius:6px;cursor:pointer;transition:all .2s ease}.suggested-prime-btn:hover{background-color:#ec489933;transform:translateY(-1px);box-shadow:0 2px 4px #0003}.suggested-prime-btn:active{transform:translateY(0)}.prime-tests{margin-top:1rem;text-align:left;background-color:#ffffff08;border-radius:8px;border:1px solid rgba(255,255,255,.1);overflow:hidden}.prime-tests-toggle{width:100%;display:flex;align-items:center;gap:.75rem;padding:.75rem 1rem;background:transparent;border:none;cursor:pointer;text-align:left;transition:background-color .2s ease}.prime-tests-toggle:hover{background-color:#ffffff0d}.prime-tests-title{font-size:1rem;font-weight:600;color:#ffffffde}.prime-result{margin-left:auto;font-size:.95rem;font-weight:600;padding:.25rem .75rem;border-radius:4px}.prime-result.prime{color:#10b981;background-color:#10b9811a}.prime-result.composite{color:#ef4444;background-color:#ef44441a}.prime-tests h3{font-size:1rem;margin:0 0 .75rem;color:#ffffffde}.test-results{display:flex;flex-direction:column;gap:.5rem;padding:0 1rem 1rem;animation:slideDown .2s ease-out}.test-result{display:grid;grid-template-columns:140px 1fr auto;gap:1rem;padding:.75rem 1rem;background-color:#ffffff08;border-radius:6px;border-left:3px solid rgba(100,108,255,.3);align-items:center}.factor-found{color:#f97316;font-size:.85rem;font-style:italic}.test-name{font-size:.9rem;font-weight:600;color:#ffffffde}.test-status{font-size:.9rem;font-weight:500}.test-status.running{color:#fbbf24}.test-status.completed{color:#ffffffde}.test-status.timeout{color:#f97316}.test-status.error{color:#ef4444}.test-status.pending{color:#ffffff80}.test-time{font-family:Monaco,Courier New,monospace;font-size:.85rem;color:#fff9;text-align:right}.phi-display{margin-top:1.5rem;padding:1rem 1.5rem;background-color:#d946ef1a;border:2px solid var(--color-phi);border-radius:8px;text-align:center}.phi-display p{margin:0;font-size:1.1rem;color:#ffffffde}.explainer-box{margin-top:1rem;background-color:#646cff14;border:1px solid rgba(100,108,255,.3);border-radius:8px;text-align:left;overflow:hidden}.explainer-box.collapsed{padding:0}.explainer-toggle{width:100%;display:flex;align-items:center;gap:.75rem;padding:1rem 1.25rem;background:transparent;border:none;color:#646cff;font-size:.95rem;font-weight:600;cursor:pointer;text-align:left;transition:background-color .2s ease}.explainer-toggle:hover{background-color:#646cff1a}.toggle-icon{font-size:.75rem;color:#646cffcc;transition:transform .2s ease}.explainer-content{padding:0 1.25rem 1.25rem;animation:slideDown .2s ease-out}@keyframes slideDown{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.explainer-box h3{margin-top:0;margin-bottom:1rem;color:#646cff;font-size:1.1rem}.explainer-content p{margin:0 0 .75rem;font-size:.95rem;line-height:1.6;color:#fffc}.explainer-content p:last-child{margin-bottom:0}.explainer-content code{padding:.2rem .5rem;background-color:#0000004d;border-radius:4px;font-family:Courier New,monospace;font-size:.9em}.section{width:100%;max-width:900px;padding:2rem;margin:0 1rem;background-color:#1a1a1a;border-radius:12px;box-shadow:0 4px 6px #0000001a;text-align:left}.section-description{margin:0 0 1rem;font-size:.95rem;color:#ffffffb3}.ks-count{font-size:.9rem;margin:0 0 1.5rem;color:#fff9}.two-column{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:2rem;width:100%}.player-column{display:flex;flex-direction:column;gap:1rem;padding:1.5rem;background-color:#ffffff08;border-radius:8px;border:2px solid rgba(255,255,255,.1)}.value-n{color:var(--color-n);font-weight:700}.value-phi{color:var(--color-phi);font-weight:700}.value-plaintext{color:var(--color-plaintext);font-weight:700}.value-double-encrypted{color:var(--color-double-encrypted);font-weight:700}.value-alice-key{color:var(--color-alice-key);font-weight:700}.value-alice-l{color:var(--color-alice-l);font-weight:700}.value-bob-key{color:var(--color-bob-key);font-weight:700}.value-bob-l{color:var(--color-bob-l);font-weight:700}.value-alice-encrypted{color:var(--color-alice-encrypted);font-weight:700}.value-bob-encrypted{color:var(--color-bob-encrypted);font-weight:700}.equation-group select{padding:.6rem 1rem;font-size:1rem;border:2px solid rgba(255,255,255,.3);border-radius:6px;background-color:#0000004d;color:#ffffffde;cursor:pointer;transition:border-color .3s ease,background-color .3s ease;width:100%}.equation-group.alice-operation select{border-color:var(--color-alice-key);color:var(--color-alice-key)}.equation-group.alice-operation select:focus{outline:none;border-color:var(--color-alice-key);box-shadow:0 0 0 3px #eab30833}.equation-group.bob-operation select{border-color:var(--color-bob-key);color:var(--color-bob-key)}.equation-group.bob-operation select:focus{outline:none;border-color:var(--color-bob-key);box-shadow:0 0 0 3px #3b82f633}.equation-group select:hover{background-color:#0006}.test-step{font-family:Monaco,Courier New,monospace;font-size:.9rem;margin:0;color:#ffffffde;line-height:1.5}.test-step strong{font-weight:700}.test-step sup,.test-step sub{font-size:.7em}.test-step .value-alice-key,.test-step .value-alice-l,.test-step .value-alice-encrypted,.test-step .value-bob-key,.test-step .value-bob-l,.test-step .value-bob-encrypted,.test-step .value-plaintext,.test-step .value-n{font-weight:600}.equation-group{display:flex;flex-direction:column;gap:.25rem;padding:.5rem;background-color:#ffffff05;border-radius:4px;margin-bottom:.5rem;border-left:3px solid rgba(100,108,255,.3)}.equation-group.neutral{border-left-color:#fff3}.equation-group.alice-operation{border-left-color:var(--color-alice-encrypted);background-color:#eab30808}.equation-group.bob-operation{border-left-color:var(--color-bob-encrypted);background-color:#3b82f608}.test-step.symbolic,.step-value.symbolic{opacity:.7;font-style:italic}.flow-column{display:flex;flex-direction:column;gap:.75rem}.flow-column h4{margin:0 0 .75rem;font-size:1rem;color:#ffffffde}.test-verify{font-size:1rem;font-weight:600;margin-left:.5rem}.test-verify.success{color:#22c55e}.test-verify.fail{color:#ef4444}.message-input-group{display:flex;flex-direction:column;gap:.5rem;margin-bottom:1.5rem}.message-input-group label{font-size:.95rem;font-weight:500;color:#ffffffde}.message-input{padding:.6rem 1rem;font-size:1rem;border:2px solid var(--color-plaintext);border-radius:6px;background-color:#242424;color:var(--color-plaintext);transition:border-color .3s ease,background-color .3s ease}.message-input:focus{outline:none;border-color:var(--color-plaintext);box-shadow:0 0 0 3px #f5f5f51a}.error-message{margin:.75rem 0 0;padding:.75rem;background-color:#ef44441a;border:1px solid #ef4444;border-radius:6px;color:#fca5a5;font-size:.9rem}.double-crypto{display:flex;flex-direction:column;gap:2rem}.crypto-flow{display:grid;grid-template-columns:1fr 1fr;gap:2rem}.commutative-verification{background-color:#ffffff0d;padding:1.5rem;border-radius:8px;border:2px solid rgba(100,108,255,.3);margin-bottom:1rem}.commutative-verification h4{margin:0 0 1rem;font-size:1.1rem}.verification-item{font-family:Monaco,Courier New,monospace;font-size:.95rem;margin:.5rem 0;color:#ffffffb3}.verification-item sub{font-size:.75em}.verify-success{margin:.75rem 0;font-size:1rem;font-weight:600;color:#22c55e}.verify-fail{margin:.75rem 0;font-size:1rem;font-weight:600;color:#ef4444}@media(max-width:900px){.two-column,.crypto-flow{grid-template-columns:1fr}.container{padding:1rem}h1{font-size:2rem}h2{font-size:1.3rem}.section{padding:1.5rem}}