/* haskell.day :: lambda calculus dimension */

:root {
    --bg-void: #120e1a;
    --bg-deep: #1a1528;
    --bg-border: #2a2238;
    --lambda-stroke: #8f4e8b;
    --lambda-glow: #b877db;
    --type-text: #c8b8e8;
    --type-cyan: #56d6c2;
    --body-text: #d4d0e0;
    --io-amber: #e8a838;

    --font-code: 'Fira Code', 'Courier New', monospace;
    --font-body: 'Space Grotesk', 'Inter', sans-serif;
}

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

html {
    scroll-behavior: smooth;
}

body {
    background: var(--bg-void);
    color: var(--body-text);
    font-family: var(--font-body);
    font-size: 0.95rem;
    line-height: 1.7;
    overflow-x: hidden;
    position: relative;
    min-height: 100vh;
}

/* Parentheses background texture */
.paren-bg {
    position: fixed;
    inset: 0;
    z-index: 0;
    pointer-events: none;
    overflow: hidden;
    font-family: var(--font-code);
    color: var(--lambda-glow);
    opacity: 0.03;
    font-size: 1.2rem;
    line-height: 1.3;
    user-select: none;
    white-space: pre-wrap;
    word-break: break-all;
    padding: 1rem;
}

/* Header */
.site-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 100;
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 1.25rem 2.5rem;
    background: rgba(18, 14, 26, 0.78);
    backdrop-filter: blur(12px);
    -webkit-backdrop-filter: blur(12px);
    border-bottom: 1px solid var(--bg-border);
}

.logo {
    font-family: var(--font-code);
    font-weight: 700;
    font-size: 1.05rem;
    display: flex;
    align-items: baseline;
    gap: 0.4rem;
    color: var(--type-text);
}
.logo-lambda {
    color: var(--lambda-glow);
    font-size: 1.6rem;
    text-shadow: 0 0 8px rgba(184, 119, 219, 0.6);
}
.logo-dot { color: var(--type-cyan); }

.nav {
    display: flex;
    gap: 1.6rem;
    font-family: var(--font-code);
    font-size: 0.85rem;
}
.nav a {
    color: var(--type-text);
    text-decoration: none;
    position: relative;
    padding-bottom: 2px;
    transition: color 0.25s ease;
}
.nav a::before {
    content: attr(data-type);
    position: absolute;
    top: -1.1rem;
    left: 0;
    font-size: 0.65rem;
    color: var(--lambda-stroke);
    font-style: italic;
    opacity: 0.7;
    white-space: nowrap;
}
.nav a:hover {
    color: var(--lambda-glow);
}
.nav a::after {
    content: '';
    position: absolute;
    left: 0;
    bottom: 0;
    width: 0;
    height: 1px;
    background: var(--type-cyan);
    transition: width 0.25s ease;
}
.nav a:hover::after { width: 100%; }

/* Hero */
.hero {
    position: relative;
    min-height: 100vh;
    padding: 8rem 2.5rem 4rem;
    display: grid;
    grid-template-columns: 1fr 1fr;
    align-items: center;
    gap: 2rem;
    z-index: 1;
}

.hero-lambda-wrap {
    position: relative;
    height: clamp(28rem, 70vh, 44rem);
    display: flex;
    align-items: center;
    justify-content: center;
    overflow: visible;
}

.hero-lambda {
    font-family: var(--font-code);
    font-weight: 700;
    font-size: clamp(8rem, 20vw, 20rem);
    line-height: 1;
    color: transparent;
    -webkit-text-stroke: 2px var(--lambda-stroke);
    text-shadow:
        0 0 20px rgba(184, 119, 219, 0.4),
        0 0 60px rgba(184, 119, 219, 0.2);
    animation: spin 120s linear infinite, pulseGlow 4s ease-in-out infinite;
    position: relative;
    z-index: 2;
    will-change: transform, text-shadow;
}

@keyframes spin {
    from { transform: rotate(0deg); }
    to { transform: rotate(360deg); }
}

@keyframes pulseGlow {
    0%, 100% {
        text-shadow:
            0 0 20px rgba(184, 119, 219, 0.4),
            0 0 60px rgba(184, 119, 219, 0.2);
    }
    50% {
        text-shadow:
            0 0 40px rgba(184, 119, 219, 0.7),
            0 0 90px rgba(184, 119, 219, 0.35),
            0 0 140px rgba(86, 214, 194, 0.18);
    }
}

.float-fragments {
    position: absolute;
    inset: 0;
    z-index: 1;
    pointer-events: none;
}
.fragment {
    position: absolute;
    font-family: var(--font-code);
    font-size: 0.85rem;
    color: var(--type-text);
    background: rgba(26, 21, 40, 0.78);
    border: 1px solid var(--bg-border);
    padding: 0.35rem 0.7rem;
    border-radius: 4px;
    white-space: nowrap;
    backdrop-filter: blur(2px);
    animation: floatFrag var(--dur, 8s) ease-in-out infinite alternate;
}
.fragment.cyan { color: var(--type-cyan); }
.fragment.amber { color: var(--io-amber); }

@keyframes floatFrag {
    0%   { transform: translateY(0) rotate(0deg); opacity: 0.6; }
    50%  { opacity: 1; }
    100% { transform: translateY(-15px) rotate(2deg); opacity: 0.85; }
}

.hero-text { position: relative; z-index: 3; max-width: 36rem; }
.hero-eyebrow {
    font-family: var(--font-code);
    color: var(--type-cyan);
    font-size: 0.85rem;
    margin-bottom: 1.5rem;
    letter-spacing: 0.04em;
}
.hero-title {
    font-family: var(--font-body);
    font-weight: 500;
    font-size: clamp(2.4rem, 5.6vw, 4.5rem);
    line-height: 1.05;
    letter-spacing: -0.02em;
    color: var(--body-text);
    margin-bottom: 1.6rem;
}
.hl-purple { color: var(--lambda-glow); }
.hl-cyan { color: var(--type-cyan); }
.hl-amber { color: var(--io-amber); }
.hero-sub {
    font-family: var(--font-code);
    font-size: 1.05rem;
    color: var(--type-text);
    margin-bottom: 1rem;
}
.hero-meta {
    font-size: 0.95rem;
    color: var(--body-text);
    opacity: 0.85;
}
.sig {
    font-family: var(--font-code);
    color: var(--type-text);
}
.sig.io { color: var(--io-amber); }

.hero-scroll {
    position: absolute;
    bottom: 1.5rem;
    left: 50%;
    transform: translateX(-50%);
    font-family: var(--font-code);
    font-size: 0.75rem;
    color: var(--lambda-stroke);
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 0.3rem;
    letter-spacing: 0.2em;
}
.hero-scroll .arrow {
    animation: scrollBob 2s ease-in-out infinite;
    color: var(--type-cyan);
    font-size: 1rem;
}
@keyframes scrollBob {
    0%, 100% { transform: translateY(0); }
    50% { transform: translateY(6px); }
}

/* Type Space (broken grid) */
.type-space {
    position: relative;
    z-index: 1;
    display: grid;
    grid-template-columns: repeat(6, 1fr);
    gap: 1.5rem;
    padding: 6rem 2.5rem;
    perspective: 1000px;
}

.block {
    background: var(--bg-deep);
    border: 1px solid var(--bg-border);
    border-radius: 10px;
    padding: 2rem 1.8rem;
    transform-style: preserve-3d;
    transition: transform 0.6s cubic-bezier(0.2, 0.8, 0.2, 1), border-color 0.4s ease, box-shadow 0.4s ease;
    position: relative;
}
.block:hover {
    border-color: var(--lambda-glow);
    box-shadow: 0 12px 40px rgba(184, 119, 219, 0.12);
    transform: translateZ(28px) rotate(0deg) !important;
}

.block-schedule  { grid-column: 1 / span 4; transform: translateZ(-12px) rotate(-0.4deg); }
.block-speakers  { grid-column: 5 / span 2; transform: translateZ(14px) rotate(0.6deg); }
.block-venue     { grid-column: 1 / span 2; transform: translateZ(-6px) rotate(0.3deg); }
.block-monad     { grid-column: 3 / span 2; transform: translateZ(8px) rotate(-0.5deg); }
.block-register  { grid-column: 5 / span 2; transform: translateZ(18px) rotate(0.4deg); }
.block-types     { grid-column: 1 / span 6; transform: translateZ(-18px) rotate(-0.2deg); }

.block-sig {
    font-family: var(--font-code);
    font-style: italic;
    font-size: 0.85rem;
    color: var(--lambda-stroke);
    margin-bottom: 0.4rem;
}
.block-title {
    font-family: var(--font-body);
    font-weight: 700;
    font-size: 2rem;
    color: var(--body-text);
    letter-spacing: -0.02em;
    margin-bottom: 1.4rem;
}
.block-body {
    color: var(--body-text);
    margin-bottom: 1.2rem;
}

/* Schedule */
.schedule-list {
    list-style: none;
    display: flex;
    flex-direction: column;
}
.schedule-list li {
    display: grid;
    grid-template-columns: 4.5rem 1fr auto;
    gap: 1rem;
    padding: 0.8rem 0;
    border-bottom: 1px dashed var(--bg-border);
    align-items: baseline;
    transition: padding-left 0.3s ease, color 0.3s ease;
}
.schedule-list li:last-child { border-bottom: none; }
.schedule-list li:hover { padding-left: 0.5rem; }
.schedule-list li:hover .title { color: var(--lambda-glow); }
.schedule-list .time {
    font-family: var(--font-code);
    color: var(--type-cyan);
    font-size: 0.9rem;
}
.schedule-list .title {
    color: var(--body-text);
    font-weight: 500;
    transition: color 0.3s ease;
}
.schedule-list .who {
    font-family: var(--font-code);
    font-size: 0.8rem;
    color: var(--type-text);
    opacity: 0.7;
}

/* Speakers */
.speakers-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 0.8rem;
}
.speaker {
    background: rgba(143, 78, 139, 0.08);
    border: 1px solid var(--bg-border);
    border-radius: 6px;
    padding: 0.9rem;
    transition: background 0.3s ease, transform 0.3s ease;
}
.speaker:hover {
    background: rgba(184, 119, 219, 0.12);
    transform: translateY(-3px);
}
.speaker .initials {
    display: inline-block;
    font-family: var(--font-code);
    font-weight: 700;
    color: var(--type-cyan);
    font-size: 0.8rem;
    margin-bottom: 0.3rem;
    border: 1px solid var(--type-cyan);
    padding: 0.1rem 0.4rem;
    border-radius: 3px;
}
.speaker h3 {
    font-family: var(--font-body);
    font-size: 1rem;
    color: var(--body-text);
    margin-bottom: 0.2rem;
    font-weight: 500;
}
.speaker p {
    font-size: 0.78rem;
    color: var(--type-text);
    opacity: 0.85;
    line-height: 1.4;
}

/* Venue */
.venue-name {
    font-size: 1.15rem;
    color: var(--lambda-glow);
    margin-bottom: 0.6rem;
    font-weight: 500;
}
.venue-detail {
    color: var(--body-text);
    font-size: 0.9rem;
    margin-bottom: 0.6rem;
}
.venue-detail-alt { color: var(--type-text); opacity: 0.85; }
.venue-coords {
    font-family: var(--font-code);
    color: var(--type-cyan);
    font-size: 0.8rem;
    margin-top: 0.8rem;
    padding-top: 0.8rem;
    border-top: 1px dashed var(--bg-border);
}

/* Monad nesting */
.monad-nest {
    margin-top: 0.6rem;
}
.monad-layer {
    border: 1px solid var(--bg-border);
    border-radius: 8px;
    padding: 0.9rem;
    position: relative;
    margin-top: 0.4rem;
}
.monad-layer.l1 { background: rgba(184, 119, 219, 0.06); }
.monad-layer.l2 { background: rgba(184, 119, 219, 0.10); margin-left: 0.5rem; }
.monad-layer.l3 { background: rgba(184, 119, 219, 0.14); margin-left: 0.5rem; }
.monad-layer.l4 { background: rgba(184, 119, 219, 0.20); margin-left: 0.5rem; }
.monad-label {
    font-family: var(--font-code);
    font-size: 0.75rem;
    color: var(--type-cyan);
    letter-spacing: 0.05em;
}
.monad-core {
    font-family: var(--font-code);
    color: var(--io-amber);
    background: rgba(232, 168, 56, 0.08);
    border: 1px solid var(--io-amber);
    border-radius: 4px;
    padding: 0.4rem 0.6rem;
    margin-top: 0.5rem;
    text-align: center;
    font-size: 0.85rem;
}

/* Register */
.codepanel {
    background: var(--bg-void);
    border: 1px solid var(--bg-border);
    border-radius: 6px;
    padding: 0.9rem 1rem;
    font-family: var(--font-code);
    font-size: 0.78rem;
    color: var(--type-text);
    overflow-x: auto;
    line-height: 1.6;
    margin-bottom: 0.9rem;
}
.codepanel .c-comment { color: var(--lambda-stroke); }
.codepanel .c-key { color: var(--type-cyan); }
.codepanel .c-str { color: var(--io-amber); }
.register-line {
    font-family: var(--font-code);
    font-size: 0.95rem;
    color: var(--body-text);
}

/* Tracks */
.track-list {
    list-style: none;
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
    gap: 0.6rem;
}
.track-list li {
    font-family: var(--font-code);
    font-size: 0.85rem;
    color: var(--body-text);
    padding: 0.7rem 0.9rem;
    background: rgba(86, 214, 194, 0.04);
    border-left: 2px solid var(--type-cyan);
    border-radius: 0 4px 4px 0;
    transition: border-left-width 0.25s ease, background 0.25s ease;
}
.track-list li:hover {
    border-left-width: 6px;
    background: rgba(86, 214, 194, 0.10);
}
.track-tag {
    color: var(--lambda-glow);
    margin-right: 0.5rem;
}

/* Pipeline */
.pipeline-section {
    position: relative;
    z-index: 1;
    padding: 5rem 2.5rem 7rem;
    text-align: center;
}
.section-title {
    font-family: var(--font-body);
    font-weight: 700;
    font-size: clamp(2rem, 4vw, 2.8rem);
    color: var(--body-text);
    letter-spacing: -0.02em;
    margin-bottom: 3rem;
}
.pipeline {
    display: flex;
    align-items: stretch;
    justify-content: center;
    flex-wrap: wrap;
    gap: 1.2rem;
    max-width: 1200px;
    margin: 0 auto;
    position: relative;
}
.stage {
    background: var(--bg-deep);
    border: 1px solid var(--bg-border);
    border-radius: 8px;
    padding: 1.5rem 2rem;
    min-width: 200px;
    flex: 1 1 200px;
    max-width: 260px;
    text-align: left;
    transition: transform 0.35s ease, border-color 0.35s ease, box-shadow 0.35s ease;
    position: relative;
    cursor: default;
}
.stage:hover {
    transform: translateY(-6px);
    border-color: var(--type-cyan);
    box-shadow: 0 18px 30px rgba(86, 214, 194, 0.10);
}
.stage.active {
    border-color: var(--lambda-glow);
    box-shadow: 0 0 0 1px var(--lambda-glow), 0 12px 30px rgba(184, 119, 219, 0.18);
}
.stage-num {
    font-family: var(--font-code);
    font-size: 0.7rem;
    color: var(--lambda-stroke);
    letter-spacing: 0.2em;
    display: block;
    margin-bottom: 0.5rem;
}
.stage-name {
    font-family: var(--font-code);
    font-weight: 700;
    font-size: 1.4rem;
    color: var(--lambda-glow);
    display: block;
    margin-bottom: 0.4rem;
}
.stage-type {
    font-family: var(--font-code);
    font-size: 0.78rem;
    color: var(--type-cyan);
    display: block;
    margin-bottom: 0.8rem;
}
.stage-detail {
    font-size: 0.85rem;
    color: var(--type-text);
    line-height: 1.5;
    max-height: 0;
    overflow: hidden;
    opacity: 0;
    transition: max-height 0.4s ease, opacity 0.4s ease, margin 0.4s ease;
}
.stage:hover .stage-detail,
.stage.active .stage-detail {
    max-height: 8rem;
    opacity: 1;
    margin-top: 0.2rem;
}
.op {
    font-family: var(--font-code);
    color: var(--type-cyan);
    font-size: 1.5rem;
    align-self: center;
    user-select: none;
    text-shadow: 0 0 10px rgba(86, 214, 194, 0.4);
}
.pipeline-arrows {
    display: block;
    margin: 2rem auto 0;
    width: min(80%, 900px);
    height: 30px;
    opacity: 0.5;
}

/* Manifesto */
.manifesto {
    padding: 5rem 2.5rem;
    max-width: 1100px;
    margin: 0 auto;
    position: relative;
    z-index: 1;
}
.manifesto-grid {
    display: grid;
    grid-template-columns: repeat(2, 1fr);
    gap: 2rem 3rem;
    margin-top: 1rem;
}
.manifesto-grid p {
    font-size: 1.05rem;
    color: var(--body-text);
    border-left: 1px solid var(--bg-border);
    padding-left: 1.2rem;
}

/* Footer */
.site-footer {
    padding: 5rem 2.5rem 4rem;
    border-top: 1px solid var(--bg-border);
    background: linear-gradient(180deg, transparent, rgba(143, 78, 139, 0.06));
    position: relative;
    z-index: 1;
    text-align: center;
}
.community-lambda {
    display: grid;
    grid-template-columns: repeat(13, 1fr);
    gap: 6px;
    max-width: 540px;
    margin: 1.5rem auto 3rem;
}
.dot {
    aspect-ratio: 1;
    border-radius: 50%;
    background: var(--bg-deep);
    border: 1px solid var(--bg-border);
    transition: transform 0.3s ease, background 0.3s ease;
}
.dot.on {
    background: radial-gradient(circle, var(--lambda-glow), var(--lambda-stroke));
    border-color: var(--lambda-glow);
    box-shadow: 0 0 10px rgba(184, 119, 219, 0.4);
}
.dot.accent {
    background: radial-gradient(circle, var(--type-cyan), #2a8b7c);
    border-color: var(--type-cyan);
    box-shadow: 0 0 10px rgba(86, 214, 194, 0.4);
}
.dot:hover {
    transform: scale(1.4);
}

.footer-meta {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 2rem;
    max-width: 900px;
    margin: 0 auto 2rem;
    text-align: left;
}
.footer-label {
    font-family: var(--font-code);
    font-size: 0.75rem;
    color: var(--lambda-stroke);
    text-transform: uppercase;
    letter-spacing: 0.15em;
    margin-bottom: 0.4rem;
}
.copyright {
    font-family: var(--font-code);
    font-size: 0.8rem;
    color: var(--type-text);
    opacity: 0.7;
    margin-top: 1.5rem;
}

/* Responsive */
@media (max-width: 900px) {
    .hero { grid-template-columns: 1fr; padding-top: 7rem; }
    .hero-lambda-wrap { height: 22rem; }
    .type-space { grid-template-columns: 1fr; }
    .block-schedule, .block-speakers, .block-venue,
    .block-monad, .block-register, .block-types { grid-column: 1 / -1; }
    .speakers-grid { grid-template-columns: 1fr; }
    .manifesto-grid { grid-template-columns: 1fr; }
    .footer-meta { grid-template-columns: 1fr; text-align: center; }
    .nav { display: none; }
    .pipeline { flex-direction: column; }
    .op { transform: rotate(90deg); }
}