/* Base styles and resets */
:root {
    --primary-color: #3a3090;
    --primary-light: #4b40b3;
    --primary-dark: #292061;
    --secondary-color: #0497ac;
    --accent-color: #d27c4b;
    --dark-bg: #13111c;
    --medium-bg: #1a1727;
    --light-bg: #2a273f;
    --text-light: #f8f9fa;
    --text-medium: #b8b5c0;
    --text-dark: #62616b;
    --success-color: #0acd7e;
    --error-color: #ff4757;
    --border-radius: 12px;
    --card-shadow: 0 8px 30px rgba(0, 0, 0, 0.12);
    --transition: all 0.3s ease;
    --node-glow: 0 0 20px rgba(58, 48, 144, 0.25);
    --node-active-glow: 0 0 30px rgba(58, 48, 144, 0.4);
}

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

html {
    scroll-behavior: smooth;
    font-size: 62.5%; /* 1rem = 10px */
}

body {
    font-family: 'Avenir', 'Inter', sans-serif;
    background-color: var(--dark-bg);
    color: var(--text-light);
    font-size: 1.6rem;
    line-height: 1.6;
    overflow-x: hidden;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Avenir', sans-serif;
    font-weight: 700;
    line-height: 1.2;
    margin-bottom: 2rem;
}

h1 {
    font-size: 5.6rem;
    /* background: linear-gradient(to right, var(--text-light), var(--secondary-color));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent; */
    color: white;
}

h2 {
    font-size: 4rem;
    /* background: linear-gradient(to right, var(--text-light), var(--primary-light));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent; */
    color: white;
    margin-bottom: 3rem;
}

h3 {
    font-size: 2.4rem;
}

p {
    margin-bottom: 1.6rem;
}

a {
    color: var(--text-light);
    text-decoration: none;
    transition: var(--transition);
}

a:hover {
    color: var(--secondary-color);
}

img {
    max-width: 100%;
    height: auto;
}

.container {
    max-width: 120rem;
    padding: 0 4rem;
    margin: 0 auto;
}

section {
    padding: 10rem 0;
}

.section-subtitle {
    font-size: 1.8rem;
    color: var(--text-medium);
    margin-bottom: 6rem;
}

/* Buttons */
.primary-btn {
    display: inline-block;
    background: linear-gradient(90deg, var(--primary-color), var(--primary-light));
    color: white;
    padding: 1.4rem 3rem;
    border-radius: 5rem;
    font-weight: 600;
    transition: var(--transition);
    box-shadow: 0 4px 15px rgba(58, 48, 144, 0.3);
}

.primary-btn:hover {
    transform: translateY(-3px);
    box-shadow: 0 6px 20px rgba(58, 48, 144, 0.4);
    color: white;
    background: linear-gradient(90deg, var(--primary-dark), var(--primary-color));
}

.secondary-btn {
    display: inline-block;
    background: transparent;
    color: var(--text-light);
    padding: 1.3rem 2.8rem;
    border: 2px solid var(--primary-light);
    border-radius: 5rem;
    font-weight: 600;
    transition: var(--transition);
    margin-left: 1.5rem;
}

.secondary-btn:hover {
    background-color: rgba(58, 48, 144, 0.08);
    color: white;
    border-color: var(--primary-color);
}

/* Navigation */
nav {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 0.75rem 4rem 0.75rem;
    width: 100%;
    background-color: rgba(26, 23, 39, 0.8);
    backdrop-filter: blur(8px);
    border-bottom: 1px solid rgba(255, 255, 255, 0.08);
    box-shadow: 0 1px 10px rgba(0, 0, 0, 0.1);
    position: sticky;
    top: 0;
    z-index: 1000;
    transition: padding 0.3s ease, background-color 0.3s ease;
}

.logo {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 2.4rem;
    font-weight: 700;
    display: flex;
    align-items: center;
}

.logo-image {
    height: 60px;
    width: auto;
    display: block;
    transition: height 0.3s ease;
}

.nav-links {
    display: flex;
    gap: 3rem;
}

.nav-links a {
    font-size: 1.6rem;
    font-weight: 500;
    padding: 0.8rem 1.2rem;
    border-radius: 6px;
    transition: var(--transition);
    position: relative;
}

.nav-links a:hover, .nav-links a.active {
    background-color: rgba(255, 255, 255, 0.05);
    color: var(--text-light);
}

.nav-links a::after {
    content: '';
    position: absolute;
    width: 0;
    height: 2px;
    bottom: 0;
    left: 50%;
    background-color: var(--primary-light);
    transition: var(--transition);
    transform: translateX(-50%);
}

.nav-links a:hover::after, .nav-links a.active::after {
    width: 80%;
}

/* Add overlay for when mobile menu is open */
body.menu-open::before {
    content: '';
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-color: rgba(0, 0, 0, 0.5);
    z-index: 999;
}

/* Hero Section */
.hero {
    min-height: 100vh;
    display: flex;
    flex-direction: column;
    position: relative;
    padding: 0;
    padding-top: 0;
}

.hero-content {
    flex: 1;
    display: flex;
    flex-direction: column;
    justify-content: center;
    max-width: 80rem;
    margin: 0 auto;
    text-align: center;
    padding: 8rem 2rem 0;
    margin-bottom: 2rem;
}

.hero-content p {
    font-size: 2rem;
    color: var(--text-medium);
    margin-bottom: 4rem;
}

.cta-buttons {
    display: flex;
    justify-content: center;
    gap: 1rem;
    margin-top: 2rem;
}

/* Pipeline Section */
.pipeline {
    background-color: var(--dark-bg);
    position: relative;
    overflow: visible;
    min-height: 180vh;
    margin-bottom: 10rem;
}

.pipeline-visualization {
    margin-top: 5rem;
    position: relative;
    height: 140vh;
    background: linear-gradient(180deg, rgba(19, 17, 28, 0) 0%, rgba(42, 39, 63, 0.1) 50%, rgba(19, 17, 28, 0) 100%);
    border-radius: var(--border-radius);
    overflow: visible;
}

/* Add a grid background pattern for more dimension */
.pipeline-visualization::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background: 
        linear-gradient(rgba(74, 58, 255, 0.03) 1px, transparent 1px),
        linear-gradient(90deg, rgba(74, 58, 255, 0.03) 1px, transparent 1px);
    background-size: 40px 40px;
    pointer-events: none;
}

.pipeline-container {
    position: relative;
    height: 100%;
    width: 100%;
    overflow: visible;
}

.pipeline-node {
    position: absolute;
    background: linear-gradient(135deg, var(--medium-bg), var(--light-bg));
    padding: 2rem;
    border-radius: var(--border-radius);
    width: 28rem;
    box-shadow: var(--card-shadow);
    transition: transform 0.4s ease, opacity 0.5s ease, box-shadow 0.4s ease;
    opacity: 0;
    text-align: center;
    z-index: 2;
    border: 1px solid rgba(74, 58, 255, 0.3);
    backdrop-filter: blur(5px);
    -webkit-backdrop-filter: blur(5px);
}

.pipeline-node.active {
    opacity: 1;
    box-shadow: var(--node-active-glow);
}

.pipeline-node-title {
    font-size: 2rem;
    margin-bottom: 1.2rem;
}

.pipeline-node-description {
    font-size: 1.4rem;
    color: var(--text-medium);
}

.pipeline-connection {
    position: absolute;
    height: 3px;
    background-color: rgba(74, 58, 255, 0.2);
    transition: background-color 0.5s ease, opacity 0.5s ease;
    opacity: 0;
    pointer-events: none;
    z-index: 1;
    overflow: hidden;
}

.pipeline-connection.active {
    background-color: rgba(74, 58, 255, 0.5);
    opacity: 1;
    box-shadow: 0 0 8px rgba(74, 58, 255, 0.3);
}

/* Customize each node type with improved shadows and borders */
#smart-contract {
    border-color: var(--primary-color);
    box-shadow: 0 0 20px rgba(74, 58, 255, 0.3);
    z-index: 5;
}

#property-inference {
    border-color: var(--primary-light);
    box-shadow: 0 0 15px rgba(110, 97, 255, 0.25);
    z-index: 4;
}

[id^="spec-formalizer"] {
    border-color: var(--secondary-color);
    box-shadow: 0 0 15px rgba(4, 217, 255, 0.2);
    z-index: 3;
}

[id^="certora"] {
    border-color: var(--accent-color);
    box-shadow: 0 0 15px rgba(255, 158, 100, 0.2);
    z-index: 2;
}

[id^="smt-"] {
    border-bottom-width: 3px;
    z-index: 1;
}

#smt-1, #smt-2, #smt-3 {
    border-bottom-color: var(--success-color);
}

#smt-2 {
    border-bottom-color: var(--error-color);
}

.pipeline-node-code {
    background-color: rgba(13, 11, 26, 0.7);
    border-radius: 8px;
    padding: 1.2rem;
    font-size: 1.3rem;
    overflow: auto;
    max-height: 15rem;
    text-align: left;
    font-family: 'JetBrains Mono', monospace;
    border: 1px solid rgba(74, 58, 255, 0.2);
    transition: border-color 0.3s ease;
    margin-top: 1.5rem;
    scrollbar-width: thin;
    scrollbar-color: var(--primary-color) var(--dark-bg);
}

.pipeline-node.active .pipeline-node-code {
    border-color: rgba(74, 58, 255, 0.4);
}

.pipeline-node-code.small {
    font-size: 1.1rem;
    max-height: 12rem;
}

/* Tech Section */
.tech {
    padding: 10rem 0 10rem;
    background: linear-gradient(to bottom, var(--dark-bg), var(--medium-bg));
}

.tech-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 3rem;
    margin-top: 6rem;
}

.tech-card {
    background: linear-gradient(135deg, var(--medium-bg), var(--light-bg));
    border-radius: var(--border-radius);
    padding: 3rem;
    box-shadow: var(--card-shadow);
    transition: var(--transition);
    display: flex;
    flex-direction: column;
    height: 100%;
}

.tech-card:hover {
    transform: translateY(-10px);
    box-shadow: 0 12px 40px rgba(0, 0, 0, 0.2);
}

.tech-icon {
    width: 6rem;
    height: 6rem;
    margin-bottom: 2rem;
    display: flex;
    align-items: center;
    justify-content: center;
    opacity: 0.9;
    transition: transform 0.5s ease, opacity 0.5s ease;
}

.tech-card:hover .tech-icon {
    transform: scale(1.1);
    opacity: 1;
}

.ai-icon {
    background: url('../images/ai-icon.svg') no-repeat center;
}

.formal-icon {
    background: url('../images/formal-icon.svg') no-repeat center;
}

.solver-icon {
    background: url('../images/solver-icon.svg') no-repeat center;
}

.tech-features {
    margin-top: 2rem;
    background-color: rgba(19, 17, 28, 0.5);
    border-radius: 8px;
    padding: 1.5rem;
    border-left: 2px solid var(--primary-light);
}

.tech-features ul {
    padding-left: 2rem;
    margin: 0;
}

.tech-features li {
    margin-bottom: 0.8rem;
    color: var(--text-medium);
    font-size: 1.4rem;
}

.tech-features li:last-child {
    margin-bottom: 0;
}

/* Benefits Section */
.benefits {
    background-color: var(--medium-bg);
    position: relative;
    overflow: hidden;
}

.benefits::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 1px;
    background: linear-gradient(to right, transparent, var(--primary-light), transparent);
}

.benefits-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 4rem;
    margin-top: 5rem;
}

.benefit-item {
    background-color: rgba(19, 17, 28, 0.6);
    border-radius: var(--border-radius);
    padding: 3rem;
    position: relative;
    transition: transform 0.3s ease, box-shadow 0.3s ease;
    box-shadow: var(--card-shadow);
}

.benefit-item:hover {
    transform: translateY(-5px);
    box-shadow: 0 15px 40px rgba(0, 0, 0, 0.2);
}

.benefit-number {
    position: absolute;
    top: -2.5rem;
    left: 2rem;
    font-size: 6rem;
    font-weight: 700;
    color: rgba(74, 58, 255, 0.1);
    line-height: 1;
    font-family: 'Space Grotesk', sans-serif;
}

.benefit-item h3 {
    font-size: 2.2rem;
    margin-bottom: 1.5rem;
    color: var(--text-light);
}

.benefit-item p {
    font-size: 1.5rem;
    color: var(--text-medium);
    line-height: 1.6;
}

/* Contact Section */
.contact {
    text-align: center;
    background-color: var(--light-bg);
    padding: 12rem 0;
    position: relative;
    overflow: hidden;
}

.contact::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    height: 1px;
    background: linear-gradient(to right, transparent, var(--primary-light), transparent);
}

.contact h2 {
    font-size: 4.5rem;
    margin-bottom: 2.5rem;
    /* background: linear-gradient(to right, var(--text-light), var(--secondary-color));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent; */
    color: white;
}

.contact p {
    font-size: 2rem;
    max-width: 60rem;
    margin: 0 auto 4rem;
    color: var(--text-medium);
}

.cta-group {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 2rem;
}

.contact-info {
    font-size: 1.6rem;
    margin: 0;
    color: var(--text-medium);
}

.contact-info a {
    color: var(--primary-light);
    font-weight: 500;
    transition: var(--transition);
    border-bottom: 1px dotted var(--primary-light);
}

.contact-info a:hover {
    color: var(--primary-color);
    border-bottom-color: var(--primary-color);
}

/* Footer Section */
footer {
    background-color: var(--dark-bg);
    padding: 6rem 0 3rem;
}

.footer-content {
    display: flex;
    justify-content: space-between;
    align-items: center;
    flex-wrap: wrap;
    margin-bottom: 5rem;
    gap: 3rem;
}

.footer-logo {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 2.4rem;
    font-weight: 700;
    background: linear-gradient(to right, var(--primary-light), var(--secondary-color));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent;
}

.footer-links {
    display: flex;
    gap: 2.5rem;
    flex-wrap: wrap;
}

.social-links {
    display: flex;
    gap: 2rem;
}

.social-link {
    font-weight: 500;
    transition: var(--transition);
}

.copyright {
    text-align: center;
    color: var(--text-dark);
    font-size: 1.4rem;
    border-top: 1px solid rgba(255, 255, 255, 0.05);
    padding-top: 3rem;
}

.footer-link-subtle {
    color: var(--text-dark);
    font-size: 1.4rem;
    text-decoration: none;
    margin-left: 1rem;
    transition: color 0.2s ease;
}

.footer-link-subtle:hover {
    color: var(--text-medium);
    text-decoration: underline;
}

.footer-link-separator {
    color: var(--text-dark);
    font-size: 1.4rem;
    margin: 0 0.5rem;
}

/* Animation for flow particles */
@keyframes flow {
    0% {
        left: 0;
        opacity: 0;
        width: 10px;
    }
    10% {
        opacity: 1;
        width: 15px;
    }
    90% {
        opacity: 1;
        width: 15px;
    }
    100% {
        left: 100%;
        opacity: 0;
        width: 10px;
    }
}

.flow-particle {
    position: absolute;
    width: 15px;
    height: 3px;
    background: var(--secondary-color);
    border-radius: 8px;
    animation: flow 3s linear infinite;
    opacity: 0.8;
    box-shadow: 0 0 10px rgba(4, 217, 255, 0.8), 0 0 20px rgba(4, 217, 255, 0.4);
    top: 0;
}

/* Code syntax highlighting */
.keyword {
    color: #c792ea;
}

.string {
    color: #89ddff;
}

.verification-result {
    text-align: left;
    padding: 1.2rem;
    border-radius: 8px;
    transition: transform 0.3s ease, box-shadow 0.3s ease;
}

.verification-result.verified {
    background-color: rgba(10, 205, 126, 0.1);
    border-left: 3px solid var(--success-color);
}

.verification-result.violated {
    background-color: rgba(255, 71, 87, 0.1);
    border-left: 3px solid var(--error-color);
}

.result-status {
    font-weight: 700;
    margin-bottom: 0.5rem;
    font-size: 1.4rem;
}

.verified .result-status {
    color: var(--success-color);
}

.violated .result-status {
    color: var(--error-color);
}

.result-time {
    font-size: 1.2rem;
    color: var(--text-medium);
}

.result-counterexample {
    margin-top: 1rem;
    font-size: 1.1rem;
    background-color: rgba(0, 0, 0, 0.2);
    padding: 0.8rem;
    border-radius: 4px;
    max-height: 8rem;
    overflow: auto;
    border: 1px solid rgba(255, 71, 87, 0.2);
}

/* Floating orbs background effect */
.orb {
    position: absolute;
    border-radius: 50%;
    filter: blur(50px);
    opacity: 0.15;
    z-index: 0;
    pointer-events: none;
    animation: floatOrb 15s infinite alternate ease-in-out;
}

@keyframes floatOrb {
    0% { transform: translate(0, 0) scale(1); }
    100% { transform: translate(50px, 30px) scale(1.1); }
}

/* Media Queries */
@media screen and (max-width: 1200px) {
    .pipeline-node {
        width: 24rem;
    }
    
    .benefits-grid {
        gap: 3rem;
    }
}

@media screen and (max-width: 992px) {
    .tech-grid {
        grid-template-columns: 1fr 1fr;
        gap: 3rem;
    }
    
    .benefits-grid {
        grid-template-columns: 1fr;
        max-width: 60rem;
        margin-left: auto;
        margin-right: auto;
    }
}

@media screen and (max-width: 768px) {
    html {
        font-size: 55%;
    }
    
    h1 {
        font-size: 4.5rem;
    }
    
    h2 {
        font-size: 3.5rem;
    }
    
    nav {
        padding: 1.5rem 2rem;
        border: none;
        display: flex;
        justify-content: center;
        align-items: center;
    }
    
    .logo {
        position: relative;
        display: flex;
        justify-content: center;
        width: 100%;
        margin: 0 auto;
        transform: translateX(9%);
    }
    
    .logo-image {
        height: 42px;
        width: auto;
    }
    
    .nav-links {
        position: static;
        display: flex;
        flex-direction: row;
        background: none;
        width: 100%;
        max-height: none;
        opacity: 1;
        visibility: visible;
        margin-top: 50px;
        justify-content: center;
        flex-wrap: wrap;
    }
    
    .nav-links a {
        margin: 0 10px;
        margin-bottom: 10px;
        opacity: 1;
        transform: none;
    }
    
    .mobile-menu-toggle {
        display: none;
    }
    
    .tech-grid {
        grid-template-columns: 1fr;
        gap: 3rem;
    }
    
    .footer-content {
        flex-direction: column;
        gap: 3rem;
        text-align: center;
    }
    
    .pipeline {
        min-height: auto;
        padding-bottom: 5rem;
        margin-bottom: 0;
    }
    
    .pipeline-visualization {
        min-height: auto;
        height: auto;
        margin-bottom: 0;
    }

    .pipeline-node {
        padding: 2rem 1.5rem !important;
        margin-bottom: 2rem !important;
        border: 1px solid rgba(74, 58, 255, 0.3);
        box-shadow: 0 5px 20px rgba(0, 0, 0, 0.15);
        max-width: 90%;
    }
    
    .pipeline-connection {
        height: 3px !important;
        background-color: rgba(74, 58, 255, 0.5) !important;
        box-shadow: 0 0 8px rgba(74, 58, 255, 0.3);
    }
    
    .flow-particle {
        height: 3px !important;
        box-shadow: 0 0 10px rgba(4, 217, 255, 0.6);
    }
    
    .step-node {
        margin: 5rem 0;
    }
    
    .logos-container {
        height: 30px;
    }
    
    .logos-slide {
        padding-left: 5rem;
        animation: slideLogos 60s linear infinite;
    }
    
    img[alt="Anthropic"] {
        height: 12px;
    }
    
    img[alt="US Department of Defense"] {
        height: 26px;
    }
    
    img[alt="Swisscom"] {
        height: 26px;
    }
    
    img[alt="Jupyter"] {
        height: 26px;
    }
    
    img[alt="X"] {
        height: 16px;
    }
    
    .secured-banner {
        flex-direction: column;
        padding: 10px 0 15px;
        min-height: 90px;
    }
    
    .secured-text {
        margin-bottom: 12px;
        text-align: center;
        margin-left: 0;
        height: auto;
        justify-content: center;
        font-size: 1.1rem;
        padding-right: 0;
        width: 100%;
        color: var(--text-medium);
    }
    
    .logos-container {
        height: 45px;
        width: 100%;
        margin-top: 5px;
        overflow: visible;
    }
    
    .logos-slide {
        padding-left: 40%;
        animation: slideLogos 60s linear infinite;
    }
    
    .company-logo {
        height: 18px;
        width: auto;
        margin: 0 2rem;
        opacity: 0.7;
    }
    
    img[alt="Anthropic"] {
        height: 12px;
    }
    
    img[alt="US Department of Defense"] {
        height: 26px;
    }
    
    img[alt="Swisscom"] {
        height: 26px;
    }
    
    img[alt="Jupyter"] {
        height: 26px;
    }
    
    img[alt="X"] {
        height: 16px;
    }

    /* Add this new selector to fix the gap */
    #pipeline div[style*="margin-bottom: 160px"] {
        margin-bottom: 45px !important;
        /*display: none;*/
    }
}

@media screen and (max-width: 576px) {
    html {
        font-size: 55%;
    }
    
    nav {
        padding: 1.4rem 1.6rem;
        background-color: rgba(26, 23, 39, 0.95);
        backdrop-filter: blur(10px);
        border-bottom: 1px solid rgba(74, 58, 255, 0.15);
        box-shadow: 0 2px 15px rgba(0, 0, 0, 0.15);
    }
    
    nav.scrolled {
        padding: 1rem 1.6rem;
    }
    
    .logo-image {
        height: 50px;
    }
    
    .mobile-menu-toggle {
        width: 24px;
        height: 18px;
        margin-right: 0.5rem;
    }
    
    .mobile-menu-toggle span {
        height: 2px;
        border-radius: 4px;
        background-color: #f8f9fa;
        box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
    }
    
    .mobile-menu-toggle.active span:nth-child(1) {
        transform: translateY(8px) rotate(45deg);
    }
    
    .mobile-menu-toggle.active span:nth-child(2) {
        opacity: 0;
    }
    
    .mobile-menu-toggle.active span:nth-child(3) {
        transform: translateY(-8px) rotate(-45deg);
    }
    
    .nav-links {
        width: 80%;
        padding-top: 6rem;
        background-color: rgba(34, 30, 51, 0.98);
        margin-top: 40px;
    }
    
    .nav-links a {
        font-size: 14px;
        padding: 1.2rem;
        width: 85%;
        text-align: center;
        border-radius: 8px;
        margin: 0 8px 8px;
        letter-spacing: 0.02em;
        font-weight: 500;
    }
    
    .nav-links a:hover, .nav-links a.active {
        background-color: rgba(74, 58, 255, 0.15);
        box-shadow: 0 4px 12px rgba(74, 58, 255, 0.1);
    }
    
    .nav-links a::after {
        display: none;
    }
    
    .cta-buttons {
        flex-direction: column;
        gap: 2rem;
    }
    
    .secondary-btn {
        margin-left: 0;
    }
    
    .footer-links {
        flex-direction: column;
        gap: 2rem;
    }
    
    .social-links {
        flex-direction: column;
        gap: 2rem;
    }
    
    .pipeline {
        min-height: auto;
        padding-bottom: 3rem;
    }
    
    .pipeline-visualization {
        height: auto;
        min-height: auto;
    }
    
    .benefit-number {
        font-size: 3.5rem;
        right: 2rem;
    }
    
    .logos-container {
        height: 30px;
    }
    
    .logos-slide {
        padding-left: 5rem;
        animation: slideLogos 60s linear infinite;
    }
    
    img[alt="Anthropic"] {
        height: 12px;
    }
    
    img[alt="US Department of Defense"] {
        height: 26px;
    }
    
    img[alt="Swisscom"] {
        height: 26px;
    }
    
    img[alt="Jupyter"] {
        height: 26px;
    }
    
    img[alt="X"] {
        height: 16px;
    }
}

.typing-text {
    color: white;
}

.typing-emphasized {
    color: #8c7ae6;
    font-weight: 500;
    letter-spacing: normal;
    background: none;
}

.typing-cursor {
    animation: blink 1s infinite;
    color: white;
}

.typing-cursor.typing-complete {
    animation: fadeOut 1s forwards;
}

@keyframes blink {
    0%, 100% { opacity: 1; }
    50% { opacity: 0; }
}

@keyframes fadeOut {
    to { opacity: 0; }
}

.pipeline-visualization {
    min-height: 1300px;
    position: relative;
}

.pipeline-container {
    position: relative;
    min-height: 100%;
    width: 100%;
    overflow: visible;
}

/* How It Works Section */
.how-it-works {
    background-color: var(--dark-bg);
    position: relative;
    overflow: hidden;
    padding: 12rem 0;
}

.how-it-works::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: radial-gradient(circle at 70% 30%, rgba(74, 58, 255, 0.1), transparent 70%);
    z-index: 0;
}

.steps-visualization {
    position: relative;
    width: 100%;
    margin: 0 auto;
    padding: 4rem 0;
    z-index: 1;
}

.steps-container-vertical {
    display: flex;
    flex-direction: column;
    align-items: center;
    position: relative;
    max-width: 70rem;
    margin: 0 auto;
}

.step-node-vertical {
    background: linear-gradient(135deg, var(--medium-bg), var(--light-bg));
    border-radius: var(--border-radius);
    padding: 3rem;
    box-shadow: var(--card-shadow);
    margin-bottom: 0;
    width: 100%;
    transition: var(--transition);
    position: relative;
    border: 1px solid rgba(255, 255, 255, 0.1);
    display: flex;
    align-items: flex-start;
    gap: 2.5rem;
}

.step-node-vertical:hover {
    transform: translateY(-5px);
    box-shadow: var(--node-active-glow);
    border-color: rgba(74, 58, 255, 0.4);
}

.step-content {
    flex: 1;
}

.step-icon {
    width: 6rem;
    height: 6rem;
    display: flex;
    align-items: center;
    justify-content: center;
    background: linear-gradient(135deg, var(--primary-dark), var(--primary-color));
    border-radius: 50%;
    padding: 1.2rem;
    box-shadow: 0 0 20px rgba(74, 58, 255, 0.3);
    color: white;
    flex-shrink: 0;
}

.step-icon svg {
    width: 100%;
    height: 100%;
}

.step-number {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 2.8rem;
    font-weight: 700;
    background: linear-gradient(45deg, var(--primary-color), var(--secondary-color));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent;
    margin-bottom: 0.8rem;
    line-height: 1;
}

.step-title {
    font-size: 2.4rem;
    margin-bottom: 1.2rem;
    color: var(--text-light);
}

.step-description {
    font-size: 1.6rem;
    color: var(--text-medium);
    margin-bottom: 0;
}

.step-connection-vertical {
    width: 2px;
    height: 5rem;
    background: linear-gradient(to bottom, var(--primary-color), var(--secondary-color));
    position: relative;
    margin: 0.5rem 0;
}

.step-connection-vertical::before {
    content: '';
    position: absolute;
    top: 0;
    left: 50%;
    transform: translateX(-50%);
    width: 10px;
    height: 10px;
    border-radius: 50%;
    background-color: var(--primary-color);
}

.step-connection-vertical::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 50%;
    transform: translateX(-50%);
    width: 10px;
    height: 10px;
    border-radius: 50%;
    background-color: var(--secondary-color);
}

/* Animate icons on hover */
.step-node-vertical:hover .step-icon {
    transform: scale(1.05);
    box-shadow: 0 0 30px rgba(74, 58, 255, 0.5);
}

/* Step colors - each step has a slightly different accent color */
#step-1 .step-icon {
    background: linear-gradient(135deg, var(--primary-dark), var(--primary-color));
}

#step-2 .step-icon {
    background: linear-gradient(135deg, var(--primary-color), var(--primary-light));
}

#step-3 .step-icon {
    background: linear-gradient(135deg, var(--primary-light), var(--secondary-color));
}

#step-4 .step-icon {
    background: linear-gradient(135deg, var(--secondary-color), var(--success-color));
}

@media screen and (max-width: 768px) {
    .step-node-vertical {
        padding: 2.5rem 2rem;
        gap: 2rem;
    }
    
    .step-icon {
        width: 5rem;
        height: 5rem;
    }
    
    .step-number {
        font-size: 2.4rem;
    }
    
    .step-title {
        font-size: 2rem;
    }
    
    .step-connection-vertical {
        height: 4rem;
    }
}

@media screen and (max-width: 576px) {
    .step-node-vertical {
        flex-direction: column;
        align-items: center;
        text-align: center;
        padding: 2.5rem 1.5rem;
    }
    
    .step-icon {
        margin-bottom: 1.5rem;
    }
    
    .step-connection-vertical {
        height: 3rem;
    }
}

/* Remove old horizontal step styles */
.steps-container,
.step-node,
.step-connection {
    display: none;
}

/* Why Choose DeepProof Section */
.why-choose {
    position: relative;
    overflow: hidden;
    background-color: var(--dark-bg);
    padding: 12rem 0;
}

.why-choose::before {
    content: '';
    position: absolute;
    top: -40px;
    right: -40px;
    width: 300px;
    height: 300px;
    border-radius: 50%;
    background: linear-gradient(135deg, var(--primary-color) 0%, transparent 70%);
    opacity: 0.2;
    filter: blur(40px);
    z-index: 0;
}

.why-choose::after {
    content: '';
    position: absolute;
    bottom: -40px;
    left: -40px;
    width: 250px;
    height: 250px;
    border-radius: 50%;
    background: linear-gradient(135deg, var(--secondary-color) 0%, transparent 70%);
    opacity: 0.2;
    filter: blur(40px);
    z-index: 0;
}

.features-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 3rem;
    margin-top: 5rem;
    position: relative;
    z-index: 2;
}

.feature-card {
    background-color: var(--medium-bg);
    border-radius: var(--border-radius);
    padding: 3.5rem;
    transition: var(--transition);
    position: relative;
    overflow: hidden;
    box-shadow: var(--card-shadow);
    display: flex;
    flex-direction: column;
}

.feature-card:hover {
    transform: translateY(-6px);
    box-shadow: 0 12px 40px rgba(19, 17, 28, 0.3);
}

.feature-card::before {
    content: '';
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    height: 3px;
    background: linear-gradient(90deg, var(--primary-color), var(--secondary-color));
    opacity: 0;
    transition: var(--transition);
}

.feature-card:hover::before {
    opacity: 1;
}

.feature-icon {
    width: 7rem;
    height: 7rem;
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--light-bg);
    transition: var(--transition);
    margin-bottom: 2rem;
    position: relative;
    z-index: 2;
    box-shadow: 0 5px 15px rgba(0, 0, 0, 0.2);
}

.feature-card:hover .feature-icon {
    transform: translateY(-5px);
    box-shadow: 0 10px 30px rgba(0, 0, 0, 0.25);
}

.feature-icon svg {
    width: 3rem;
    height: 3rem;
}

.feature-icon i {
    font-size: 3.2rem;
    color: currentColor;
    transition: var(--transition);
}

.feature-card:hover .feature-icon i {
    transform: scale(1.1);
}

.feature-content h3 {
    margin-bottom: 1.5rem;
    font-size: 2.2rem;
}

.feature-highlight {
    color: var(--primary-light);
    transition: var(--transition);
}

.feature-card:hover .feature-highlight {
    color: var(--secondary-color);
}

.feature-content p {
    color: var(--text-medium);
    font-size: 1.6rem;
    line-height: 1.7;
    margin-bottom: 2rem;
}

.feature-glow {
    position: absolute;
    bottom: -80px;
    right: -80px;
    width: 160px;
    height: 160px;
    border-radius: 50%;
    background: radial-gradient(circle, var(--primary-color) 0%, transparent 70%);
    opacity: 0;
    transition: var(--transition);
    z-index: -1;
}

.feature-card:hover .feature-glow {
    opacity: 0.15;
    transform: scale(1.1);
}

/* Specific card styles */
#complete .feature-icon {
    color: #7c4dff;
}

#complete:hover .feature-icon,
#complete:hover .feature-highlight {
    color: #9e7dff;
}

#sound .feature-icon {
    color: #00bcd4;
}

#sound:hover .feature-icon,
#sound:hover .feature-highlight {
    color: #4dd0e1;
}

#fast .feature-icon {
    color: #ff9e64;
}

#fast:hover .feature-icon,
#fast:hover .feature-highlight {
    color: #ffb74d;
}

#cost-effective .feature-icon {
    color: #4caf50;
}

#cost-effective:hover .feature-icon,
#cost-effective:hover .feature-highlight {
    color: #66bb6a;
}

/* Media Queries for Why Choose Section */
@media screen and (max-width: 992px) {
    .features-grid {
        grid-template-columns: 1fr;
    }
}

@media screen and (max-width: 576px) {
    .feature-card {
        padding: 2.5rem;
    }
    
    .feature-icon {
        width: 6rem;
        height: 6rem;
    }
    
    .feature-icon i {
        font-size: 2.8rem;
    }
    
    .feature-content h3 {
        font-size: 2rem;
    }
}

/* Secured Banner */
.secured-banner {
    width: 100%;
    background-color: rgba(19, 17, 28, 0.8);
    padding: 10px 0;
    position: relative;
    overflow: hidden;
    border-top: 1px solid rgba(255, 255, 255, 0.05);
    border-bottom: none;
    backdrop-filter: blur(5px);
    display: flex;
    align-items: center;
    z-index: 10;
    margin-top: auto;
}

.secured-text {
    color: var(--text-dark);
    font-size: 1.2rem;
    font-weight: 500;
    margin-left: 4rem;
    text-transform: uppercase;
    letter-spacing: 1px;
    white-space: nowrap;
    padding-right: 2rem;
    display: flex;
    align-items: center;
    height: 30px;
}

.logos-container {
    flex: 1;
    overflow: hidden;
    height: 40px;
    position: relative;
    display: flex;
    align-items: center;
}

.logos-slide {
    display: flex;
    align-items: center;
    position: absolute;
    white-space: nowrap;
    animation: slideLogos 40s linear infinite;
}

.company-logo {
    height: 20px;
    width: auto;
    margin: 0 4rem;
    opacity: 0.5;
    transition: opacity 0.3s ease;
    object-fit: contain;
    filter: brightness(0) invert(0.7);
}

.company-logo:hover {
    opacity: 0.8;
    filter: brightness(0) invert(0.8);
}

/* Specific logo styling */
img[alt="Anthropic"] {
    height: 13px;
}

img[alt="ChainLink"] {
    height: 24px;
}

img[alt="US Department of Defense"] {
    height: 40px;
}

img[alt="Swisscom"] {
    height: 37px;
}

img[alt="Jupyter"] {
    height: 35px;
}

img[alt="EPFL"] {
    height: 18px;
}

img[alt="X"] {
    height: 22px;
    filter: brightness(0) invert(0.7);
}

@keyframes slideLogos {
    0% {
        transform: translateX(0);
    }
    100% {
        transform: translateX(-50%);
    }
}

/* Media Queries for Secured Banner */
@media screen and (max-width: 768px) {
    .secured-text {
        font-size: 1.1rem;
        margin-left: 2rem;
        height: 24px;
    }
    
    .company-logo {
        height: 18px;
        width: auto;
        margin: 0 3rem;
    }
    
    img[alt="Anthropic"] {
        height: 12px;
    }
    
    img[alt="US Department of Defense"] {
        height: 24px;
    }
    
    img[alt="Swisscom"] {
        height: 24px;
    }
    
    img[alt="Jupyter"] {
        height: 24px;
    }
    
    img[alt="X"] {
        height: 16px;
    }
    
    .logos-container {
        height: 30px;
    }
}

/* Mobile Menu Toggle */
.mobile-menu-toggle {
    display: none;
}

/* Add overlay for when mobile menu is open */
body.menu-open::before {
    content: '';
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-color: rgba(0, 0, 0, 0.5);
    z-index: 999;
}

/* We've already included these styles in the main 576px media query above */