body{-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}html{scroll-behavior:smooth;scroll-padding-top:80px}:root{--bg-dark:#0b0218;--bg-card:#240155;--text-main:#fff;--accent-light:#ceabff;--accent-primary:#8134ec;--accent-vivid:#9101be;--accent-blue:#4654f0}*{box-sizing:border-box;margin:0;padding:0}.news-section,.projects-section,.research-section,.tech-section{background:linear-gradient(180deg,#0b0218,#110429);background:linear-gradient(180deg,var(--bg-dark) 0,#110429 100%);padding:80px 8%}body{-webkit-font-smoothing:antialiased;background-color:#0b0218;background-color:var(--bg-dark);color:#fff;color:var(--text-main);font-family:Inter,-apple-system,BlinkMacSystemFont,sans-serif}.navbar{background:#0b0218;background:var(--bg-dark);padding:30px 8%;z-index:1000}.logo-container{align-items:center;cursor:pointer;display:flex;gap:12px}.navbar-logo{height:64px}.logo-text{color:var(--text-main);letter-spacing:-.5px}.logo-text b{color:#9101be;color:var(--accent-vivid)}.navbar-logo:hover{filter:drop-shadow(0 0 8px #4654f0);filter:drop-shadow(0 0 8px var(--accent-blue));transition:filter .3s ease}.nav-links{display:flex;gap:40px;list-style:none}.nav-links a{color:#fff;color:var(--text-main);font-size:.95rem;opacity:.7;text-decoration:none;transition:opacity .3s}.nav-links a:hover{color:#ceabff;color:var(--accent-light);opacity:1}.hero-section{padding:140px 8% 100px}.customer-satisfaction{font-size:1.2rem;line-height:1.5;margin:0 auto;max-width:600px;opacity:.9}.section-title{font-size:2rem;font-weight:600;margin-bottom:60px;text-align:center}.project-grid{grid-gap:30px;display:grid;gap:30px;grid-template-columns:1fr 1fr}.tech-section{background:linear-gradient(180deg,#0b0218,#110529);background:linear-gradient(180deg,var(--bg-dark) 0,#110529 100%)}.tech-grid{grid-gap:25px;display:grid;gap:25px;grid-template-columns:repeat(3,1fr)}.tech-card{background:#ffffff08;border:1px solid #ceabff1a;border-radius:8px;padding:40px;transition:all .3s ease}.tech-card:hover{background:#4654f00d;border-color:#4654f0;border-color:var(--accent-blue)}.tech-icon{color:#9101be;color:var(--accent-vivid);display:block;font-family:monospace;font-size:.9rem;letter-spacing:2px;margin-bottom:20px}.tech-card h3{color:#fff;color:var(--text-main);font-size:1.25rem;margin-bottom:15px}.tech-card p{font-size:.95rem;line-height:1.6;margin-bottom:5px;opacity:.6}@media (max-width:900px){.project-grid,.tech-grid{grid-template-columns:1fr}}.tech-tile{background:#ffffff08;border:1px solid #ceabff1a;border-radius:8px;box-sizing:border-box;margin:25px 0 0;max-width:none;padding:40px;transition:all .3s ease;width:100%}.tech-tile:hover{background:#4654f00d;border-color:#4654f0;border-color:var(--accent-blue)}.tile-header{margin-bottom:30px;text-align:left}.tile-title{color:#fff;color:var(--text-main);font-size:1.25rem;margin-bottom:12px}.tile-description{font-size:.95rem;line-height:1.6;max-width:80%;opacity:.6}.diagram-viewport{align-items:center;display:flex;justify-content:center;margin:40px 0 0;overflow:visible;padding:0;width:100%}.diagram-viewport svg{display:block;height:auto;margin:0 auto;max-width:600px;width:100%}.main-schema{height:"inherit";width:"inherit"}footer{border-top:1px solid #ffffff0d;opacity:.4;padding:60px;text-align:center}.impact-bar-container{padding:40px 5%}.impact-bar,.impact-bar-container{display:flex;justify-content:center;width:100%}.impact-bar{align-items:center;appearance:none;background:linear-gradient(90deg,#8134ec,#2d0459);background:linear-gradient(90deg,var(--accent-primary) 0,#2d0459 100%);border:0 solid #ceabff33;border-radius:12px;box-shadow:0 15px 40px #0006;color:#fff;color:var(--text-main);flex-direction:column;font-size:1.2rem;font-weight:400;gap:15px;max-width:1400px;padding:30px 50px;text-align:center}.impact-number{color:var(--white);font-size:1.8rem;font-weight:800;letter-spacing:-.5px;text-shadow:0 0 15px #ffffff4d}.impact-number-wrapper{font-feature-settings:"tnum";align-items:center;color:#fff;display:flex;font-size:clamp(2.5rem,8vw,4.5rem);font-variant-numeric:tabular-nums;font-weight:800;gap:20px;justify-content:center}.impact-number b{color:#fff}@media (max-width:768px){.impact-bar{border-radius:30px;flex-direction:column;gap:10px;padding:30px 20px}.impact-number{font-size:1.5rem}}.research-grid{grid-gap:25px;display:grid;gap:25px;grid-template-columns:repeat(3,1fr)}.research-card{background:#9101be08;border:1px solid #9101be33;border-radius:12px;display:flex;flex-direction:column;padding:40px;transition:all .3s ease}.research-card:hover{background:#9101be14;border-color:#9101be;border-color:var(--accent-vivid);transform:translateY(-5px)}.research-tag{color:#ceabff;color:var(--accent-light);font-family:monospace;font-size:.75rem;letter-spacing:2px;margin-bottom:20px;opacity:.7;text-transform:uppercase}.research-card h3{color:#fff;font-size:1.25rem;line-height:1.3;margin-bottom:15px}.research-card p{font-size:.95rem;line-height:1.6;opacity:.6}@media (max-width:900px){.research-grid{grid-template-columns:1fr}}.hero-section{justify-content:center;padding:80px 8% 40px;text-align:center}.hero-content,.hero-section{align-items:center;display:flex;flex-direction:column}.hero-content{max-width:1000px;width:100%}.hero-title{font-size:clamp(3rem,10vw,5.5rem);font-weight:700;letter-spacing:-2px;margin-bottom:10px}.hero-title b{color:#9101be;color:var(--accent-vivid)}.punchline{color:#ceabff;color:var(--accent-light);font-size:1.5rem;font-weight:300;letter-spacing:.5px;margin-bottom:25px;max-width:700px}.punchline b{color:#9101be;color:var(--accent-vivid)}.bg-glow{background:radial-gradient(circle at 50% 50%,#9101be14 0,#0b021800 80%);height:100vh;left:0;pointer-events:none;position:fixed;top:0;width:100vw;z-index:-1}.navbar{align-items:center;background-color:#0b0218;border-bottom:1px solid #ceabff1a;display:flex;justify-content:space-between;padding:4px 8%;position:sticky;top:0;z-index:9999}.navbar-logo{display:block;height:50px;width:auto}.logo-link{align-items:center;display:flex;gap:12px;text-decoration:none}.nav-brand{transition:opacity .4s ease,transform .4s ease}.nav-brand.hidden{opacity:0;pointer-events:none;transform:translateY(-10px)}.nav-brand.visible{opacity:1;pointer-events:auto;transform:translateY(0)}.logo-text{color:#fff;font-size:1.6rem;font-weight:500;line-height:1;white-space:nowrap}.logo-accent{color:#9101be!important}.nav-menu{display:flex;gap:40px;list-style:none}.nav-item a{color:#fff;font-size:1rem;opacity:.8;text-decoration:none;transition:opacity .2s,color .2s}.nav-item a:hover{color:#ceabff;opacity:1}.hamburger{background:none;border:none;cursor:pointer;display:none;padding:0;z-index:10000}.bar{background-color:#fff;border-radius:2px;display:block;height:3px;margin:5px auto;transition:all .3s ease-in-out;width:25px}@media (max-width:768px){.hamburger{display:block}.hamburger.active .bar:nth-child(2){opacity:0}.hamburger.active .bar:first-child{transform:translateY(8px) rotate(45deg)}.hamburger.active .bar:nth-child(3){transform:translateY(-8px) rotate(-45deg)}.nav-menu{align-items:center;background-color:#0b0218;flex-direction:column;height:100vh;justify-content:center;position:fixed;right:-100%;top:0;transition:right .4s ease;width:100%}.nav-menu.open{right:0}.nav-item{margin:20px 0}.nav-item a{font-size:1.5rem}}.hero-wrapper{align-items:center;display:flex;flex-direction:column;justify-content:center;margin-top:20px;width:100%}.claude-terminal{background:#0d0d12;border:1px solid #ffffff1a;border-radius:12px;box-shadow:0 30px 60px #0009;flex-shrink:0;font-family:Trispace,monospace;margin:0 auto;max-width:100%;overflow:hidden;position:relative;text-align:left;width:750px}.terminal-bar{align-items:center;background:#1a1a20;border-bottom:1px solid #ffffff0d;display:flex;padding:12px 18px;position:relative;z-index:2}.terminal-dots{display:flex;gap:8px}.dot{border-radius:50%;height:11px;width:11px}.red{background:#ff5f56}.yellow{background:#ffbd2e}.green{background:#27c93f}.terminal-id{color:#555;font-size:.7rem;letter-spacing:1.5px;margin-left:20px;text-transform:lowercase}.terminal-window{box-sizing:border-box;display:flex;flex-direction:column;height:420px;justify-content:flex-start;overflow-x:hidden;overflow-y:auto;padding:30px;width:100%}.cli-line{display:flex;flex-wrap:wrap;gap:12px;margin-bottom:1.5rem}.cli-prompt{color:#9101be;font-weight:700;white-space:nowrap}.cli-text{word-wrap:break-word;color:#fff;flex:1 1;font-size:1rem;line-height:1.5;min-width:250px}.cli-cursor{animation:blink 1s step-end infinite;background:#9101be;display:inline-block;height:16px;margin-left:4px;vertical-align:middle;width:8px}.cli-ai-section{display:flex;flex-direction:column;width:100%}.cli-divider{animation:fadeIn .5s ease-in;color:#ffffff1a;font-size:.8rem;margin-bottom:20px;overflow:hidden;-webkit-user-select:none;user-select:none;white-space:nowrap}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}.cli-logs-container{max-height:200px;overflow-y:auto;padding-bottom:8px;scroll-behavior:smooth}.cli-logs-container::-webkit-scrollbar{display:none}.cli-logs-container{-ms-overflow-style:none;scrollbar-width:none}.cli-log{animation:fadeInLog .4s ease-out forwards;display:flex;font-size:.85rem;gap:12px;line-height:1.6;margin-bottom:10px}.cli-timestamp{color:#444;flex-shrink:0;font-size:.75rem;white-space:nowrap;width:55px}.cli-log-content{flex:1 1;word-break:break-word}.cli-status{font-weight:700;margin-right:8px}.info .cli-status{color:#90caf9}.data .cli-status{color:#b39ddb}.warning .cli-status{color:#ffd54f}.action .cli-status{color:#80cbc4}.success .cli-status{color:#81c784}.cli-loader{color:#9101be;font-size:.8rem;font-style:italic;opacity:.7}.terminal-window::-webkit-scrollbar{width:5px}.terminal-window::-webkit-scrollbar-track{background:#0000}.terminal-window::-webkit-scrollbar-thumb{background:#9101be33;border-radius:10px}@keyframes blink{0%,to{opacity:1}50%{opacity:0}}@keyframes fadeInLog{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:translateY(0)}}@media (max-width:800px){.claude-terminal{height:400px;width:95vw}.terminal-window{height:355px;padding:20px}.cli-prompt{font-size:.8rem}.cli-text{font-size:.85rem}.cli-log{font-size:.75rem;gap:8px}.cli-timestamp{width:50px}.cli-line{flex-direction:column;gap:4px;margin-bottom:1rem}}.carousel-instructions{color:var(--accent-light);font-size:.9rem;opacity:.6;padding-bottom:12px}.news-carousel{-webkit-overflow-scrolling:touch;display:flex;gap:30px;overflow-x:auto;padding-bottom:40px;padding-top:12px;scroll-behavior:smooth;scroll-snap-type:x mandatory}.news-carousel::-webkit-scrollbar{height:8px}.news-carousel::-webkit-scrollbar-track{background:#ffffff0d;border-radius:10px}.news-carousel::-webkit-scrollbar-thumb{background:var(--bg-card);border-radius:10px}.news-carousel::-webkit-scrollbar-thumb:hover{background:var(--accent-primary)}.news-card{background:linear-gradient(180deg,#160335 0,var(--bg-dark) 100%);border:1px solid #9101be33;border-radius:16px;display:flex;flex:0 0 380px;flex-direction:column;overflow:hidden;scroll-snap-align:start;transition:transform .3s ease,border-color .3s ease,box-shadow .3s ease}.news-card:hover{border-color:var(--accent-blue);box-shadow:0 15px 30px #4654f026;transform:translateY(-8px)}.news-image-wrapper{border-bottom:1px solid #ffffff0d;height:220px;overflow:hidden;width:100%}.news-image{height:100%;object-fit:fill;transition:transform .5s ease;width:100%}.news-card:hover .news-image{transform:scale(1.05)}.news-content{display:flex;flex-direction:column;flex-grow:1;padding:30px}.news-date{color:var(--accent-light);font-family:monospace;font-size:.85rem;letter-spacing:1px;margin-bottom:15px}.news-title{color:#fff;font-size:1.3rem;font-weight:400;line-height:1.4;margin-bottom:25px}.news-link{color:var(--accent-blue);display:inline-block;font-weight:500;margin-top:auto;text-decoration:none;transition:color .3s}.news-link:hover{color:var(--accent-light)}@media (max-width:768px){.news-card{flex:0 0 85vw}.news-header-container{flex-direction:column;gap:10px}}.footer-section{background-color:#05010b;border-top:1px solid #ceabff1a;color:#fff;padding:60px 8% 40px}.footer-content{align-items:flex-start;display:flex;flex-wrap:wrap;gap:30px;justify-content:space-between;margin-bottom:40px}.footer-brand{max-width:300px}.footer-logo{display:block;font-size:1.5rem;font-weight:500;letter-spacing:-.5px;margin-bottom:10px}.footer-logo b{color:var(--accent-vivid)}.footer-tagline{color:var(--accent-light);font-size:.9rem;line-height:1.5;opacity:.7}.footer-links{display:flex;gap:30px}.footer-links a{color:#fff;font-size:.9rem;opacity:.6;text-decoration:none;transition:opacity .3s,color .3s}.footer-links a:hover{color:var(--accent-blue);opacity:1}.footer-copyright{border-top:1px solid #ffffff0d;color:#fff;display:flex;font-size:.8rem;justify-content:space-between;opacity:.4;padding-top:20px}@media (max-width:768px){.footer-content,.footer-links{flex-direction:column}.footer-links{gap:15px}.footer-copyright{flex-direction:column;gap:10px;text-align:center}}.contact-section{background-color:var(--bg-dark);padding:100px 8%}.contact-container{background:linear-gradient(145deg,#160335,#0b0218);border:1px solid #ceabff26;border-radius:16px;box-shadow:0 20px 50px #0006;margin:0 auto;max-width:800px;padding:60px}.contact-header{margin-bottom:40px;text-align:center}.contact-header .section-title{margin-bottom:15px}.contact-subtitle{color:var(--accent-light);font-size:1.1rem;line-height:1.6;opacity:.8}.contact-form{flex-direction:column}.contact-form,.form-row{display:flex;gap:25px}.form-group{display:flex;flex:1 1;flex-direction:column;gap:8px}label{color:#fff;font-size:.9rem;font-weight:500;letter-spacing:.5px}input,textarea{background-color:#0000004d;border:1px solid #ceabff33;border-radius:8px;color:#fff;font-family:Inter,sans-serif;font-size:1rem;padding:15px;transition:all .3s ease}input::placeholder,textarea::placeholder{color:#ffffff4d}input:focus,textarea:focus{background-color:#4654f00d;border-color:var(--accent-blue);box-shadow:0 0 15px #4654f033;outline:none}textarea{resize:vertical}.submit-btn{background:linear-gradient(90deg,var(--accent-primary),var(--accent-blue));border:none;border-radius:8px;color:#fff;cursor:pointer;font-size:1.1rem;font-weight:600;margin-top:10px;padding:18px 30px;transition:transform .2s ease,box-shadow .2s ease}.submit-btn:hover{box-shadow:0 10px 25px #8134ec66;transform:translateY(-2px)}@media (max-width:768px){.contact-container{padding:40px 20px}.form-row{flex-direction:column;gap:25px}}.success-message{background:#9101be1a;border:1px solid var(--accent-vivid);border-radius:8px;padding:40px;text-align:center}.success-message h3{color:var(--accent-light);font-size:1.5rem;margin-bottom:15px}.submit-btn:disabled{cursor:not-allowed;opacity:.7}.diagram-wrapper{margin:0 auto;max-width:800px;width:100%}.svg-container{position:relative;width:100%}.main-schema-svg{display:block;height:auto;width:100%}[data-active-id=llm] #llm,[data-active-id=solver] #solver,[data-active-id=verification] #verification{opacity:0;transition:opacity .2s ease}.node-overlay{border:1px solid #ceabff;border-radius:8px;box-shadow:0 0 20px #4654f04d;color:#ceabff;display:flex;flex-direction:column;font-size:.95rem;justify-content:center;opacity:0;padding:calc(12px*var(--scale));pointer-events:none;position:absolute;transform:scale(.95);transition:all .3s cubic-bezier(.4,0,.2,1);z-index:10}.node-overlay.active{background:#171230;opacity:1;transform:scale(1)}.node-status{font-family:monospace;font-size:10px;font-weight:700;margin-bottom:4px;padding:8px;text-transform:uppercase}.node-overlay p{color:#fff;font-size:calc(14px*var(--scale));font-weight:500;line-height:1.3;margin:0;opacity:.6}.node-overlay p b{color:#ceabff}.tech-card-rect{fill:#ffffff08;stroke:#ceabff1a;stroke-width:1px;transition:all .3s ease}.tech-boundary{fill:#0000;stroke:#ffffff26;stroke-width:1.5px;stroke-dasharray:8 6;pointer-events:none}@keyframes flow{0%{stroke-dashoffset:20}to{stroke-dashoffset:0}}[data-active-id=llm] .connector-line-1,[data-active-id=verification] .connector-line-2{stroke:#4654f0;stroke-dasharray:4;animation:flow 1s linear infinite}.main-schema-svg{pointer-events:auto}.main-schema-svg g[id]{cursor:pointer}@media (max-width:600px){.node-overlay{border-radius:4px;line-height:1.1;padding:4px}.node-overlay p{-webkit-line-clamp:5;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}}.project-card{grid-gap:1.5rem;background:#ffffff08;border:1px solid #ceabff1a;border-radius:8px;display:grid;gap:1.5rem;grid-row:span 4;grid-template-rows:subgrid;padding:40px;transition:all .3s ease}.project-card:hover{background:#4654f00d;border-color:var(--accent-blue)}.section-header svg{stroke-width:1px;color:#ceabff;margin-bottom:6px}.card-title-wrapper{display:flex;flex-direction:column;gap:20px}.client{color:var(--accent-vivid);font-family:monospace;font-size:.9rem;letter-spacing:2px;margin:0;text-transform:uppercase}.project-card p{opacity:.6}.project-card h3{color:var(--text-main);font-size:1.25rem;margin:0}
/*# sourceMappingURL=main.ea3d6da5.css.map*/