@font-face{font-family:"CMU Serif";src:url(/fonts/Serif/cmunrm.woff) format("woff");font-weight:400;font-style:normal}@font-face{font-family:"CMU Serif";src:url(/fonts/Serif/cmunbx.woff) format("woff");font-weight:700;font-style:normal}@font-face{font-family:"CMU Serif";src:url(/fonts/Serif/cmunti.woff) format("woff");font-weight:400;font-style:italic}@font-face{font-family:"CMU Serif";src:url(/fonts/Serif/cmunbi.woff) format("woff");font-weight:700;font-style:italic}*{box-sizing:border-box}*,body{margin:0;padding:0}body{font-family:"CMU Serif",serif;line-height:1.5;background-color:#FFFFF8;color:#333}.container{max-width:56rem;margin:0 auto;padding:0 1.5rem}header{border-bottom:1px solid #e2e8f0;padding:1rem 0}header,main{background-color:white}main{padding:2rem 3rem;box-shadow:0 1px 3px rgba(0,0,0,.1);max-width:55rem;margin:0 auto;min-height:100vh}footer{border-top:1px solid #e2e8f0;padding:2rem 0;text-align:center;font-size:.875rem;color:#666}h1{font-size:2.2rem;margin:1rem 0 .5rem}h1,h2{font-weight:400}h2{font-size:1.6rem;margin:1.5rem 0 .75rem}h3{font-size:1.3rem;margin:1rem 0 .5rem}.subtitle,h3{font-weight:400}.subtitle{font-size:1.4rem;color:#555;margin-bottom:2rem;font-style:italic}p{margin-bottom:1rem;text-align:justify}a{color:#333;text-decoration:none}a:hover{text-decoration:underline}nav{display:flex}nav a{margin-left:2rem;text-decoration:none;color:#333}nav a:hover{text-decoration:underline}.primary-link,.secondary-link{display:inline-block;margin-right:1rem;padding:.4rem .8rem;border-radius:0;transition:all .2s ease;color:#333;border:1px solid #333;background-color:transparent}.primary-link:hover,.secondary-link:hover{background-color:#f0f0f0;text-decoration:none}.divider{border:none;border-top:1px solid #ddd;margin:2rem 0}.home-content{max-width:100%}.features{margin-top:2rem;display:grid;grid-template-columns:1fr;gap:1.5rem}@media (min-width:768px){.features{grid-template-columns:repeat(2,1fr)}}.feature{padding:1.5rem;background-color:#f8f8f8;border-left:3px solid #333}.feature h3{font-size:1.2rem;margin-bottom:.75rem}.icon-small{width:36px;height:36px;margin-bottom:.75rem}.icon-small svg{fill:none;stroke:#333;stroke-width:1.5}.action-links{margin:1.5rem 0}.vision-lead{font-size:1.2rem;margin-bottom:.5rem}.logo{font-size:1.5rem;font-weight:700;text-decoration:none;color:#333}.subtitle-small{font-size:.875rem;font-style:italic;color:#666}.flex{display:flex}.justify-between{justify-content:space-between}.items-center{align-items:center}.algorithm,.analysis,.concept,.conjecture,.construction,.corollary,.counterexample,.definition,.example,.exercise,.historicalnote,.insight,.lemma,.metatheorem,.note,.openproblem,.proof,.proofsketch,.proposition,.remark,.resolution,.theorem{margin-bottom:1.5rem;padding:1rem;background-color:#f8f8f8}.analysis{border-left:3px solid #6366f1}.theorem{border-left:3px solid #333}.lemma{border-left:3px solid #555}.definition{border-left:3px solid #777}.proof{border-left:3px solid #999}.corollary{border-left:3px solid #2563eb}.example{border-left:3px solid #964105}.remark{border-left:3px solid #dc2626}.exercise{border-left:3px solid #7c3aed}.algorithm{border-left:3px solid #ea580c}.proofsketch{border-left:3px solid #0891b2}.proposition{border-left:3px solid #be185d}.note{border-left:3px solid #65a30d}.insight{border-left:3px solid #f59e0b}.metatheorem{border-left:3px solid #059669}.openproblem{border-left:3px solid #991b1b}.construction{border-left:3px solid #0d9488}.concept{border-left:3px solid #4338ca}.historicalnote{border-left:3px solid #78350f}.counterexample{border-left:3px solid #831843}.conjecture{border-left:3px solid #a21caf}.resolution{border-left:3px solid #166534}.math{text-align:center;margin:2rem 0;font-family:"CMU Serif",serif}code,pre{font-family:Menlo,Monaco,Courier New,monospace;background-color:#f5f5f5;border:1px solid #d6d6d6}pre{padding:1rem;overflow-x:auto;margin:1rem 0}code{padding:.1rem .4rem;border-radius:2px;font-size:.75rem}code code{border:none;background:transparent;padding:0}table{width:100%;border-collapse:collapse;margin:1rem 0}td,th{padding:.5rem;border:1px solid #ddd;text-align:left}th{background-color:#f5f5f5;font-weight:400}p+p{text-indent:1.5em;margin-top:-.5em}.cta{margin:3rem 0;text-align:center}.cta h2{margin-bottom:1rem}.cmu-button,.cmu-text{font-family:"CMU Serif",serif}.cmu-text{font-size:.9rem}.diagram-container{padding:1rem;margin-bottom:1.5rem;background-color:#f9f9f9;border-radius:.25rem}.diagram-box{text-align:center;padding:1rem;border:2px dashed #ccc;border-radius:.25rem}.class-item{padding:.5rem;margin-bottom:.5rem;border-radius:.25rem;position:relative}.standard-class{background-color:#dbeafe}.probabilistic-class{background-color:#dcfce7}.quantum-class{background-color:#f3e8ff}.class-with-arrows{position:relative}.arrow-left{left:1rem}.arrow-left,.arrow-right{position:absolute;top:.5rem;color:#777}.arrow-right{right:1rem}.class-row{display:flex;justify-content:center;gap:2rem;margin-bottom:.5rem}.diagram-caption{font-size:.875rem;color:#666;text-align:center}.zk-diagram-container{margin-bottom:1.5rem;padding:1rem;background-color:#f9f9f9;border-radius:.25rem}.zk-diagram-title{font-weight:500;margin-bottom:.75rem;text-align:center}.zk-diagram-box{text-align:center;padding:1rem;border:2px dashed #ccc;border-radius:.25rem;max-width:600px;margin:0 auto}.zk-actor-row{display:flex;justify-content:space-between;align-items:center;margin-bottom:1rem}.zk-actor{padding:.5rem;border-radius:.25rem;text-align:center}.zk-prover{background-color:#dbeafe}.zk-verifier{background-color:#dcfce7}.zk-simulator{background-color:#fef3c7;margin-bottom:1rem;padding:.5rem;border-radius:.25rem;text-align:center}.zk-connection{display:flex;flex-direction:column;align-items:center}.zk-line{width:8rem;height:0;border-top:2px solid #9ca3af;margin:.5rem 0}.zk-caption{font-size:.875rem;color:#666;text-align:center}.circuit-diagram-container{padding:1rem;margin-bottom:1.5rem;background-color:#f9f9f9;border-radius:.25rem}.circuit-diagram-title{font-weight:500;margin-bottom:.75rem;text-align:center}.circuit-diagram-box{text-align:center;padding:1rem;border:2px dashed #ccc;border-radius:.25rem;max-width:600px;margin:0 auto}.circuit-class-container{margin-bottom:1rem}.circuit-class{background-color:#dbeafe;padding:.5rem;border-radius:.25rem;margin-bottom:.5rem;text-align:center}.circuit-caption{font-size:.875rem;color:#666;text-align:center}