:root{font-family:Inter,system-ui,Avenir,Helvetica,Arial,sans-serif;line-height:1.5;font-weight:400;color-scheme:light dark;color:#ffffffde;margin:0;font-family:Inter,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body{margin:0;background:linear-gradient(0deg,#c3caff,#ded9ff 80%);font-family:Inter,sans-serif}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:#abaeff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}@media (prefers-color-scheme: light){:root{color:#213547;background-color:#000}a:hover{color:#747bff}button{background-color:#f9f9f9}}.app-container{font-family:Arial,sans-serif;width:100%;margin:0 auto;display:flex;flex-direction:column;min-height:100vh}.hero{margin-bottom:20px}.proofs-page,.merkle-tree-page{padding:20px}.header-container{display:flex;justify-content:center;max-height:45px;padding:5px;align-items:center}.header-tab{padding:8px 16px;margin:0 8px;font-size:14px;color:#000;background-color:transparent;border-radius:4px;cursor:pointer;height:auto;display:inline-block;vertical-align:middle}.header-tab.active{background-color:#9894ff;color:#000}.language-toggle{padding:8px 16px;margin:0 8px;font-size:14px;color:#000;background-color:transparent;border-radius:4px;height:auto;display:inline-block;vertical-align:middle}.language-toggle.active{background-color:#9894ff;color:#fff}.circuit-compiler-container{display:flex;flex-direction:column;align-items:center;width:100%;padding:20px;box-sizing:border-box;color:#000}.circuit-compiler-title{font-size:2.5rem;margin-bottom:20px;color:#000;text-align:center}.circuit-compiler-button{background-color:#6366f1;color:#fff;border:none;padding:10px 20px;font-size:1rem;border-radius:5px;cursor:pointer;transition:background-color .3s ease,transform .2s ease;margin-bottom:20px}.circuit-compiler-button:disabled{background-color:#555;cursor:not-allowed}.circuit-compiler-button:hover:not(:disabled){transform:scale(1.05)}.circuit-compiler-status{margin-top:20px;padding:10px;border-radius:5px;font-size:1rem;text-align:center;max-width:80%}.circuit-compiler-status.success{background-color:#28a745;color:#fff}.circuit-compiler-status.error{background-color:#dc3545;color:#000}.editor-wrapper{display:flex;flex-wrap:wrap;gap:20px;width:100%;text-align:center}.editor-container{flex:1;min-width:300px;max-width:50%;height:600px;border:1px solid #444;border-radius:8px;overflow:hidden}@media (max-width: 768px){.editor-container{max-width:100%}}.editor-title{font-size:1.2rem;margin-bottom:10px;padding-left:15px;font-weight:700;color:#000;text-align:left}.circuit-compiler-explanation{font-size:1rem;margin-bottom:20px;color:#000;text-align:center;max-width:800px;line-height:1.5}.form-container{padding:20px;max-width:500px;margin:0 auto;text-align:center;border-radius:8px}.form-container p{color:#000}.form-title{font-size:2.5rem;margin-bottom:20px;color:#000;text-align:center}.form-explanation{font-size:1rem;margin-bottom:15px;color:#000;text-align:center;max-width:800px;line-height:1.6}.form-subtitle{font-size:1.5rem;margin-bottom:20px;color:#000;text-align:center}.form-description{font-size:14px;color:#000;margin-bottom:20px}.form-group{margin-bottom:15px;text-align:left}.form-input{width:90%;padding:8px;margin-top:5px;border:1px solid #000000;border-radius:4px;color:#000}.form-input:focus{outline:none}.form-button{background-color:#6366f1;color:#fff;border:none;padding:10px 20px;font-size:1rem;border-radius:5px;cursor:pointer;transition:background-color .3s ease,transform .2s ease;margin-bottom:20px}.form-button:disabled{background-color:#555;cursor:not-allowed}.form-button:hover:not(:disabled){transform:scale(1.05)}.form-status{padding:10px;text-align:center;border-radius:5px;margin-top:10px}.form-status.success{background-color:#28a745;color:#fff}.form-status.error{background-color:#ff4d4f;color:#fff}.proof-verifier-container{display:flex;flex-direction:column;align-items:center;width:100%}.proof-verifier-title{font-size:2.5rem;margin-bottom:20px;color:#000;text-align:center}.proof-verifier-subtitle{font-size:1.5rem;margin-bottom:20px;color:#000;text-align:center}.proof-verifier-explanation{font-size:1rem;margin-bottom:15px;color:#000;text-align:center;max-width:800px;line-height:1.6}.proof-input-container{width:70%;margin-bottom:20px}.proof-input-label{display:block;margin-bottom:10px;font-size:1rem;color:#000}.proof-input-textarea{width:100%;height:100px;padding:8px;font-size:1rem;border:1px solid #000000;border-radius:4px}.verify-container{display:flex;flex-direction:column;align-items:center;width:100%;margin-bottom:20px}.verify-button{background-color:#6366f1;color:#fff;border:none;padding:10px 20px;font-size:1rem;border-radius:5px;cursor:pointer;transition:background-color .3s ease,transform .2s ease;margin-bottom:20px}.verify-button:disabled{background-color:#555;cursor:not-allowed}.verify-button:hover:not(:disabled){transform:scale(1.05)}.verify-status{margin-top:10px;padding:10px;border-radius:4px;text-align:center;width:39%}.verify-status.success{background-color:#28a745;color:#fff}.verify-status.error{background-color:#ff4d4f;color:#000}.proof-verifier-public-inputs{font-size:1.5rem;color:#000;margin-bottom:10px}.proof-verifier-no-public-inputs{font-size:1rem;color:#777;margin-bottom:10px;font-style:italic}.form-group{display:flex;align-items:center;margin-bottom:12px;width:100%;max-width:500px}.form-label{width:150px;color:#000;font-size:1rem;margin-right:10px}.form-input{flex:1;padding:8px;font-size:1rem;border:1px solid #000000;border-radius:4px}.hero-container{text-align:center;padding:20px;color:#000;min-height:100vh}.hero-title{font-size:2.5rem;font-weight:700;margin-bottom:10px;color:#000;text-align:center}.hero-description{font-size:1rem;color:#000;max-width:600px;margin:0 auto;line-height:1.6}.hero-explanation{padding:20px;margin-top:40px;text-align:left;max-width:800px;margin-left:auto;margin-right:auto}.section-title{font-size:1.8rem;font-weight:700;margin-bottom:20px;color:#000}.subsection-title{font-size:1.5rem;font-weight:700;margin-top:30px;margin-bottom:15px;color:#000}.input-list,.logic-list,.conditions-list{list-style-type:none;padding-left:20px}.input-list li,.logic-list li{margin-bottom:15px;line-height:1.6}.conditions-list li{margin-bottom:20px}.code-tag{background-color:#9894ff;padding:2px 6px;border-radius:4px;font-family:monospace;font-size:.9em}.formula-container{background-color:#9894ff;padding:15px;margin:10px 0;border-radius:6px;font-family:Times New Roman,serif;font-size:1.1em;text-align:center}.logic-list>li{margin-bottom:30px}.conditions-list{margin-top:15px}@media (max-width: 768px){.hero-explanation{padding:15px}.formula-container{padding:10px;font-size:1em}.section-title{font-size:1.6rem}.subsection-title{font-size:1.3rem}}.footer{color:#fff;padding:20px;text-align:center;border-top:1px solid #444}.footer-content{display:flex;justify-content:center;gap:20px}.footer-link{color:#000;text-decoration:none;display:flex;align-items:center;gap:8px;font-size:1rem}.footer-link:hover{color:#715ec2}.footer-icon{width:20px;height:20px}.ticket-container{position:relative;background:#fff;border-radius:16px;padding:2rem;max-width:760px;margin:4rem auto;margin-top:0;font-family:Inter,sans-serif;color:#2a2043;box-shadow:0 0 30px 10px #a082ff2e}.ticket-title{text-align:center;font-size:1.8rem;color:#321e4c}.ticket-sub{text-align:center;margin-bottom:1.5rem;color:#514167}.input-row{display:flex;gap:.75rem;align-items:center;margin-bottom:1rem}.input-row input{flex:1;padding:.75rem 1rem;border-radius:12px;border:1px solid #c8c2e3;background:#fff;font-size:1rem;color:#2a2043}.input-row input::placeholder{color:#a9a3c2}.input-row button{background:linear-gradient(90deg,#514167,#706383);color:#fff;border:none;border-radius:12px;padding:.75rem 1.5rem;font-weight:500;font-size:1rem;cursor:pointer;transition:transform .2s ease,background .25s}.input-row button:hover{transform:scale(1.04)}.input-row button:disabled{background:#aaa4c0;cursor:not-allowed;transform:none}.hash-display{margin-top:1.5rem;background:#f4f1fc;border-radius:12px;padding:1rem;color:#321e4c;font-family:monospace;font-size:.9rem;word-break:break-all;opacity:0}.tree-visualization{padding:2rem;border-radius:16px;color:#000;max-width:1060px;margin:0 auto}.tree-description{margin-top:.5rem;color:#000;font-weight:400;font-size:1.05rem;line-height:1.6;text-align:center}.tree-levels{display:flex;flex-direction:column;gap:60px;justify-content:center;margin-top:20px}.tree-level{display:flex;flex-direction:column;align-items:center}.level-nodes{display:flex;flex-wrap:wrap;gap:12px;justify-content:center}.node{padding:10px;background-color:#706383;color:#fff;border:1px solid #afa8ba;border-radius:6px;font-size:.9rem;max-width:160px;height:100px;display:flex;flex-direction:column;justify-content:center;align-items:center;transition:box-shadow .2s ease}.hash-row{display:flex;align-items:center;gap:6px;transition:margin-bottom .3s ease}.node.has-label .hash-row{margin-bottom:6px}.node.is-root{box-shadow:0 0 15px 4px #ff8d87}.node.is-path{box-shadow:0 0 15px 4px #ffe471}.node.is-leaf{box-shadow:0 0 15px 4px #62bd96}.clipboard-icon{cursor:pointer;color:#afa8ba;transition:color .2s ease}.clipboard-icon:hover{color:#fff}.clipboard-icon.copied{color:#4caf50}.ticket-label{font-size:.8rem;color:#fff;animation:fadeInUp .3s ease-in-out}@keyframes fadeInUp{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}.tree-explanation{margin-top:3rem;background-color:#d0c8f6;padding:1.5rem 2rem;border-radius:12px;font-size:1rem;line-height:1.6}.tree-explanation h3{margin-bottom:1rem;font-size:1.2rem}.tree-explanation ul{list-style:none;padding-left:0}.tree-explanation li{margin-bottom:.75rem}.example-proof{background-color:#321e4c;padding:1rem;margin-top:1rem;border-radius:8px;font-family:monospace;font-size:.9rem;color:#fafafa;white-space:pre-wrap;word-break:break-word}.explanation-title{text-align:center;font-size:1.6rem;margin-bottom:.5rem;color:#1b1233}.explanation-subtitle{text-align:center;margin-bottom:2rem;color:#514167;font-size:1rem}.explanation-cards{display:flex;flex-wrap:wrap;justify-content:center;gap:1.5rem}.explanation-card{background:#f4f1fc;border-radius:12px;padding:1.25rem 1.5rem;max-width:180px;flex:1 1 220px;text-align:left;box-shadow:0 0 10px #8264ff26;transition:transform .25s ease,box-shadow .25s ease;color:#2a2043;cursor:pointer}.explanation-card:hover{transform:translateY(-6px);box-shadow:0 10px 20px #a078ff40}.explanation-card h4{margin-top:0;margin-bottom:.5rem;font-size:1.2rem}.claim-form-container{display:flex;flex-direction:column;align-items:center;border-radius:16px;padding:2rem;margin-top:2rem;max-width:800px;margin-left:auto;margin-right:auto}.claim-form-title{font-size:2.5rem;margin-bottom:20px;color:#000;text-align:center}.claim-form-subtitle{font-size:1.5rem;margin-bottom:20px;color:#000;text-align:center}.claim-form-description{font-size:1rem;margin-bottom:2rem;color:#333}.form-group{margin-bottom:1.25rem;display:flex;flex-direction:column;align-items:center;color:#000;max-width:600px;margin-left:auto;margin-right:auto}.form-label{font-weight:700;margin-bottom:.5rem;text-align:center}.form-input{padding:.6rem 1rem;font-size:1rem;border:1px solid #c7d2fe;border-radius:8px;background-color:#eef2ff;transition:border .2s ease;color:#000}.form-textarea{min-height:100px;resize:vertical}.form-input:focus{outline:none;border-color:#6366f1}.claim-form-button{padding:.75rem 1.25rem;font-size:1rem;background-color:#6366f1;color:#fff;border:none;border-radius:10px;cursor:pointer;margin-top:1rem;transition:background-color .3s ease,transform .2s ease}.claim-form-button:hover{transform:scale(1.05)}.claim-form-status{margin-top:20px;padding:10px;border-radius:5px;font-size:1rem;text-align:center;max-width:80%}.claim-form-status.success{background-color:#28a745;color:#fff}.cclaim-form-stauts.error{background-color:#dc3545;color:#000}.claim-proof-output h3{margin-top:2rem;font-size:1.2rem;color:#000}.claim-proof-output pre{max-height:300px;overflow-y:auto;background-color:#1e1b2f;border-radius:8px;padding:1rem;color:#fafafa;font-family:monospace;font-size:.85rem;white-space:pre-wrap;word-break:break-word;line-height:1.4;text-align:left}.intro-sequence{margin:3rem auto;margin-bottom:0;max-width:700px;padding:1rem;text-align:center}.intro-step{margin-bottom:2.5rem;opacity:0}.intro-step h3,.intro-step p{color:#000}.proof-verifier-container{padding:3rem 2rem;max-width:800px;margin:0 auto;border-radius:16px;font-family:Inter,sans-serif;color:#2a2043}.verifier-title{font-size:2rem;text-align:center;margin-bottom:1rem;color:#000}.verifier-intro{font-size:1.1rem;text-align:center;margin-bottom:2rem;line-height:1.6}.verifier-diagram{display:flex;flex-direction:row;align-items:center;justify-content:center;gap:2rem;margin-top:3rem;flex-wrap:wrap}.verifier-inputs{display:flex;flex-direction:column;gap:1.5rem}.verifier-row{display:flex;gap:2rem;flex-wrap:wrap;justify-content:center}.verifier-box{border:2px solid #aaa;border-radius:10px;padding:1.5rem;background:#fff;box-shadow:0 0 20px #00000012;text-align:center;max-width:340px;word-break:break-all}.input-box{background:#f4f4ff;border-color:#bbb}.verifier-core{background:#e8f0fe;border-color:#7a9df8}.verifier-core-wrapper{position:relative;display:flex;flex-direction:column;align-items:center}.verifier-result-bubble{position:absolute;top:0;right:-180px;padding:.8rem 1.5rem;border-radius:10px;font-weight:700;font-size:1rem;box-shadow:0 0 20px #0000001a;pointer-events:none;white-space:nowrap;background-color:#fff;z-index:10}.verifier-result-bubble.ok{background-color:#d1fae5;color:#065f46}.verifier-result-bubble.nok{background-color:#fee2e2;color:#991b1b}.label{font-weight:700;display:block;margin-bottom:.5rem;color:#333}.value{font-size:1rem;font-family:Courier New,monospace;color:#222;background-color:#f8f8ff;border:none;padding:6px 10px;width:100%;overflow-x:auto;white-space:nowrap;border-radius:4px}.verify-button{margin-top:1rem;padding:.7rem 1.2rem;font-size:1rem;background-color:#6366f1;color:#fff;border:none;border-radius:8px;cursor:pointer;min-width:180px;text-align:center}.verify-button:hover{background-color:#4f46e5}.verifier-result{min-width:180px;text-align:center;padding:.8rem 2rem;border-radius:10px;box-shadow:0 0 40px #00000026;backdrop-filter:blur(4px);font-weight:700;font-size:1rem;position:absolute;left:100%;top:50%;transform:translateY(-50%);z-index:10;pointer-events:none}.verifier-result.ok{background-color:#d1fae5;color:#065f46}.verifier-result.nok{background-color:#fee2e2;color:#991b1b}