/* Reticulate web — custom styles (on top of Pico CSS) */

/* ------------------------------------------------------------------ */
/* Brand variables                                                     */
/* ------------------------------------------------------------------ */

:root {
    --pico-primary: #4338ca;
    --pico-primary-hover: #4f46e5;
    --pico-primary-focus: rgba(67, 56, 202, 0.15);
    --pico-primary-inverse: #fff;
    --pico-font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, Roboto, "Helvetica Neue", sans-serif;
    --brand-shadow: 0 1px 3px rgba(0, 0, 0, 0.08), 0 1px 2px rgba(0, 0, 0, 0.04);
    --brand-shadow-hover: 0 4px 12px rgba(0, 0, 0, 0.1), 0 2px 4px rgba(0, 0, 0, 0.06);
    --brand-transition: 0.2s ease;
}

/* ------------------------------------------------------------------ */
/* Navigation                                                          */
/* ------------------------------------------------------------------ */

.site-nav {
    position: sticky;
    top: 0;
    z-index: 100;
    background: var(--pico-background-color);
    border-bottom: 1px solid var(--pico-muted-border-color);
    padding: 0.5rem 0;
}

.nav-inner {
    display: flex;
    align-items: center;
    justify-content: space-between;
    flex-wrap: wrap;
    gap: 0.5rem;
}

.nav-brand {
    font-weight: 700;
    font-size: 1.2rem;
    text-decoration: none;
    color: var(--pico-primary);
    display: flex;
    align-items: center;
    gap: 0.4rem;
}

.nav-brand svg {
    flex-shrink: 0;
}

.nav-links {
    display: flex;
    list-style: none;
    margin: 0;
    padding: 0;
    gap: 0.25rem;
}

.nav-links a {
    text-decoration: none;
    padding: 0.4rem 0.75rem;
    border-radius: 4px;
    font-size: 0.9rem;
    color: var(--pico-color);
    transition: background var(--brand-transition), color var(--brand-transition);
}

.nav-links a:hover {
    background: var(--pico-secondary-focus);
}

.nav-links a.active {
    background: var(--pico-primary);
    color: var(--pico-primary-inverse);
}

/* Mobile nav toggle */
.nav-toggle {
    display: none;
    flex-direction: column;
    gap: 4px;
    background: none;
    border: none;
    cursor: pointer;
    padding: 0.5rem;
    margin: 0;
}

.nav-toggle span {
    display: block;
    width: 22px;
    height: 2px;
    background: var(--pico-color);
    transition: transform 0.2s;
}

@media (max-width: 768px) {
    .nav-toggle {
        display: flex;
    }

    .nav-links {
        display: none;
        flex-basis: 100%;
        flex-direction: column;
        padding: 0.5rem 0;
    }

    .nav-inner.open .nav-links {
        display: flex;
    }
}

/* ------------------------------------------------------------------ */
/* Hero (landing page)                                                 */
/* ------------------------------------------------------------------ */

.hero {
    padding: 5rem 0 4rem;
    text-align: center;
    background-repeat: no-repeat;
    background-position: center center;
    background-size: contain;
    opacity: 1;
}

/* Overlay to fade the background SVG behind the text */
.hero::before {
    content: "";
    position: absolute;
    inset: 0;
    background: radial-gradient(
        ellipse at center,
        var(--pico-background-color) 30%,
        rgba(255, 255, 255, 0.82) 100%
    );
    opacity: 0.85;
    z-index: 0;
    pointer-events: none;
}

.hero {
    position: relative;
}

.hero > * {
    position: relative;
    z-index: 1;
}

.hero h1 {
    font-size: 2.5rem;
    margin-bottom: 1rem;
    line-height: 1.15;
}

.hero-subtitle {
    font-size: 1.15rem;
    max-width: 600px;
    margin: 0 auto 2rem;
    color: var(--pico-muted-color);
}

.hero-actions {
    display: flex;
    gap: 1rem;
    justify-content: center;
    flex-wrap: wrap;
}

@media (max-width: 480px) {
    .hero h1 {
        font-size: 1.8rem;
    }
}

/* ------------------------------------------------------------------ */
/* Stats row                                                           */
/* ------------------------------------------------------------------ */

.stats-row,
.benchmark-summary {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
    gap: 1rem;
    margin: 2rem 0;
}

.stat-card {
    text-align: center;
    padding: 1.25rem 0.75rem;
    background: var(--pico-card-background-color);
    border-radius: 8px;
    border: 1px solid var(--pico-muted-border-color);
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.stat-card:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-1px);
}

.stat-number {
    display: block;
    font-size: 2rem;
    font-weight: 700;
    color: var(--pico-primary);
}

.stat-label {
    display: block;
    font-size: 0.85rem;
    color: var(--pico-muted-color);
    margin-top: 0.25rem;
}

/* ------------------------------------------------------------------ */
/* Home sections                                                       */
/* ------------------------------------------------------------------ */

.home-section {
    margin: 3rem 0;
}

.home-section h2 {
    margin-bottom: 1rem;
}

.featured-metrics {
    display: flex;
    gap: 1rem;
    flex-wrap: wrap;
    align-items: center;
    margin: 1rem 0;
}

.featured-metrics span {
    font-size: 0.9rem;
    color: var(--pico-muted-color);
}

.featured-diagram {
    max-height: 500px;
    overflow: auto;
}

/* Pillars grid */
.pillars-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
    gap: 1.5rem;
}

.pillar-card {
    padding: 1.5rem;
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.pillar-card:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-2px);
}

.pillar-card h3 {
    margin-top: 0;
}

/* ------------------------------------------------------------------ */
/* Tool page (analyzer)                                                */
/* ------------------------------------------------------------------ */

.input-row {
    display: flex;
    gap: 1rem;
    align-items: flex-end;
}

.input-row label {
    flex: 1;
}

.analyze-btn {
    flex-shrink: 0;
    margin-bottom: var(--pico-spacing);
}

#type_string {
    font-family: "Fira Code", "Cascadia Code", "JetBrains Mono", monospace;
    font-size: 0.95rem;
}

.grammar-ref {
    margin-top: 2rem;
}

/* ------------------------------------------------------------------ */
/* Verdict badges                                                      */
/* ------------------------------------------------------------------ */

.verdict {
    font-weight: 600;
    font-size: 1.05rem;
    padding: 0.4rem 0.8rem;
    border-radius: 4px;
    display: inline-block;
}

.verdict-pass {
    color: #166534;
    background: #dcfce7;
}

.verdict-fail {
    color: #991b1b;
    background: #fee2e2;
}

.check-pass {
    color: #166534;
    font-weight: 700;
}

.check-fail {
    color: #991b1b;
    font-weight: 700;
}

/* ------------------------------------------------------------------ */
/* SVG container                                                       */
/* ------------------------------------------------------------------ */

.svg-container {
    overflow-x: auto;
    max-width: 100%;
    padding: 1rem 0;
    text-align: center;
}

.svg-container svg {
    max-width: 100%;
    height: auto;
}

/* ------------------------------------------------------------------ */
/* Error card                                                          */
/* ------------------------------------------------------------------ */

.error-card {
    border-left: 4px solid #dc2626;
}

/* ------------------------------------------------------------------ */
/* HTMX loading indicator                                              */
/* ------------------------------------------------------------------ */

.htmx-indicator {
    display: none;
}

.htmx-request .htmx-indicator,
.htmx-request.htmx-indicator {
    display: inline-block;
}

/* ------------------------------------------------------------------ */
/* Code blocks                                                         */
/* ------------------------------------------------------------------ */

pre code {
    font-family: "Fira Code", "Cascadia Code", "JetBrains Mono", monospace;
    font-size: 0.9rem;
}

/* ------------------------------------------------------------------ */
/* Theory page                                                         */
/* ------------------------------------------------------------------ */

.theory-section {
    margin: 2.5rem 0;
}

.theory-section h2 {
    margin-bottom: 1rem;
}

.theory-example {
    background: var(--pico-card-background-color);
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    padding: 1.25rem;
    margin: 1rem 0;
}

.theory-example h4 {
    margin-top: 0;
    margin-bottom: 0.75rem;
}

.theory-highlight {
    text-align: center;
    font-size: 1.3rem;
    padding: 1.5rem;
    margin: 1.5rem 0;
    background: var(--pico-card-background-color);
    border: 2px solid var(--pico-primary);
    border-radius: 8px;
}

.grammar-box {
    background: var(--pico-card-background-color);
    border-radius: 8px;
    padding: 1rem;
    overflow-x: auto;
}

.constructors-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
    gap: 1.25rem;
}

.constructor-card {
    padding: 1.25rem;
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.constructor-card:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-2px);
}

.constructor-card h3 {
    margin-top: 0;
    font-size: 1rem;
}

/* ------------------------------------------------------------------ */
/* Benchmarks page                                                     */
/* ------------------------------------------------------------------ */

.benchmark-grid {
    display: grid;
    grid-template-columns: 1fr;
    gap: 1.5rem;
}

.benchmark-card {
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    padding: 1.5rem;
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.benchmark-card:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-2px);
}

.benchmark-card header {
    padding: 0;
    margin-bottom: 0.5rem;
}

.benchmark-card header h3 {
    margin: 0;
    display: flex;
    align-items: center;
    gap: 0.5rem;
    flex-wrap: wrap;
}

.benchmark-desc {
    color: var(--pico-muted-color);
    font-size: 0.95rem;
}

.benchmark-type {
    font-size: 0.85rem;
    overflow-x: auto;
}

.benchmark-metrics {
    display: flex;
    gap: 1rem;
    flex-wrap: wrap;
    font-size: 0.85rem;
    color: var(--pico-muted-color);
    margin: 0.75rem 0;
}

.benchmark-action {
    margin-bottom: 0;
}

.badge {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    font-size: 0.75rem;
    padding: 0.15rem 0.5rem;
    border-radius: 12px;
    font-weight: 700;
    line-height: 1.4;
}

.badge-parallel {
    background: #e0e7ff;
    color: #3730a3;
}

.badge-lattice {
    background: #dcfce7;
    color: #166534;
}

.badge-draft {
    background: #fef3c7;
    color: #92400e;
}

/* ------------------------------------------------------------------ */
/* Publications page                                                   */
/* ------------------------------------------------------------------ */

.publications-list {
    margin: 2rem 0;
}

.publication-entry {
    padding: 1.5rem;
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    margin-bottom: 1.5rem;
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.publication-entry:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-2px);
}

.publication-entry h3 {
    margin-top: 0;
    margin-bottom: 0.5rem;
}

.pub-authors {
    font-weight: 600;
    margin-bottom: 0.25rem;
}

.pub-venue {
    font-style: italic;
    color: var(--pico-muted-color);
    margin-bottom: 0.75rem;
    font-size: 0.9rem;
}

.pub-abstract {
    margin-bottom: 1rem;
}

.pub-links {
    display: flex;
    gap: 0.75rem;
    flex-wrap: wrap;
}

.pub-btn {
    font-size: 0.85rem;
    padding: 0.3rem 1rem;
}

/* ------------------------------------------------------------------ */
/* About page                                                          */
/* ------------------------------------------------------------------ */

.about-section {
    margin: 2.5rem 0;
}

.person-card,
.institution-card {
    padding: 1.5rem;
    border: 1px solid var(--pico-muted-border-color);
    border-radius: 8px;
    box-shadow: var(--brand-shadow);
    transition: box-shadow var(--brand-transition), transform var(--brand-transition);
}

.person-card:hover,
.institution-card:hover {
    box-shadow: var(--brand-shadow-hover);
    transform: translateY(-2px);
}

.person-card h3,
.institution-card h3 {
    margin-top: 0;
    margin-bottom: 0.25rem;
}

.person-role {
    font-style: italic;
    color: var(--pico-muted-color);
    margin-bottom: 1rem;
}

.person-links {
    display: flex;
    gap: 1rem;
    flex-wrap: wrap;
    margin-top: 1rem;
}

/* ------------------------------------------------------------------ */
/* Footer                                                              */
/* ------------------------------------------------------------------ */

.site-footer {
    margin-top: 4rem;
    padding: 2rem 0;
    border-top: 1px solid var(--pico-muted-border-color);
    text-align: center;
    font-size: 0.9rem;
    color: var(--pico-muted-color);
}

.site-footer p {
    margin-bottom: 0.5rem;
}

.footer-links {
    margin-top: 0.5rem;
}

.footer-links a {
    color: var(--pico-muted-color);
}

.footer-links a:hover {
    color: var(--pico-primary);
}

.footer-links a {
    transition: color var(--brand-transition);
}

/* ------------------------------------------------------------------ */
/* Tables (results)                                                    */
/* ------------------------------------------------------------------ */

table {
    max-width: 400px;
}

/* ------------------------------------------------------------------ */
/* Responsive tweaks                                                   */
/* ------------------------------------------------------------------ */

@media (max-width: 768px) {
    .pillars-grid,
    .constructors-grid {
        grid-template-columns: 1fr;
    }

    .stats-row,
    .benchmark-summary {
        grid-template-columns: repeat(2, 1fr);
    }

    .hero {
        padding: 3rem 0 2rem;
    }

    .theory-highlight {
        font-size: 1.1rem;
        padding: 1rem;
    }
}

@media (max-width: 480px) {
    .stats-row,
    .benchmark-summary {
        grid-template-columns: 1fr;
    }

    .input-row {
        flex-direction: column;
        align-items: stretch;
    }

    .hero-actions {
        flex-direction: column;
        align-items: center;
    }
}