/* ============================================
   haskell.monster - Styles
   Lambda Calculus Fever Dream Bestiary
   ============================================ */

/* === CSS Custom Properties === */
:root {
    --abyss-black: #0A0E14;
    --terminal-card: #111820;
    --phosphor-green: #00FF9F;
    --muted-sage: #4A6A5A;
    --bioluminescent-violet: #7B5EA7;
    --deep-magenta: #C23B6E;
    --pale-phosphor: #E0F4E8;
    --soft-green-gray: #B8C9BE;
    --amber-signal: #D4A843;
}

/* === Reset & Base === */
*, *::before, *::after {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

html {
    scroll-behavior: smooth;
}

body {
    background-color: var(--abyss-black);
    color: var(--soft-green-gray);
    font-family: 'Inter', sans-serif;
    font-weight: 400;
    font-size: clamp(0.95rem, 1.5vw, 1.05rem);
    line-height: 1.65;
    overflow-x: hidden;
    position: relative;
}

/* === Scan-line Overlay === */
body::after {
    content: '';
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: repeating-linear-gradient(
        to bottom,
        transparent,
        transparent 2px,
        rgba(0, 255, 159, 0.04) 2px,
        rgba(0, 255, 159, 0.04) 3px
    );
    pointer-events: none;
    z-index: 10000;
}

/* === HUD Overlay === */
#hud-overlay {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    pointer-events: none;
    z-index: 9000;
    opacity: 0;
    transition: opacity 0.8s ease;
}

#hud-overlay.visible {
    opacity: 1;
}

#hud-overlay.fading-out {
    opacity: 0;
    transition: opacity 2s ease;
}

/* HUD Corner Brackets */
.hud-corner {
    position: absolute;
    width: 40px;
    height: 40px;
    border-color: var(--phosphor-green);
    border-style: solid;
    opacity: 0.6;
}

#hud-corner-tl {
    top: 12px;
    left: 12px;
    border-width: 2px 0 0 2px;
}

#hud-corner-tr {
    top: 12px;
    right: 12px;
    border-width: 2px 2px 0 0;
}

#hud-corner-bl {
    bottom: 12px;
    left: 12px;
    border-width: 0 0 2px 2px;
}

#hud-corner-br {
    bottom: 12px;
    right: 12px;
    border-width: 0 2px 2px 0;
}

/* GHC Version String */
#hud-ghc-version {
    position: absolute;
    top: 20px;
    left: 60px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    color: var(--phosphor-green);
    opacity: 0.7;
}

/* Type Safety Indicator */
#hud-type-safety {
    position: absolute;
    top: 20px;
    right: 60px;
    display: flex;
    align-items: center;
    gap: 10px;
}

.hud-label-small {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.65rem;
    color: var(--phosphor-green);
    opacity: 0.6;
    letter-spacing: 0.1em;
}

.safety-bar {
    width: 100px;
    height: 4px;
    background: rgba(0, 255, 159, 0.15);
    border-radius: 2px;
    overflow: hidden;
}

.safety-fill {
    width: 100%;
    height: 100%;
    background: var(--phosphor-green);
    transform-origin: left;
    transition: transform 0.3s ease;
    box-shadow: 0 0 8px var(--phosphor-green);
}

/* HUD Ticker */
#hud-ticker {
    position: absolute;
    bottom: 16px;
    left: 0;
    width: 100%;
    overflow: hidden;
    height: 20px;
}

.ticker-track {
    display: flex;
    white-space: nowrap;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.7rem;
    color: var(--muted-sage);
    animation: ticker-scroll 60s linear infinite;
}

.ticker-track span {
    flex-shrink: 0;
}

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

/* HUD Glitch Effect */
#hud-overlay.glitch {
    animation: hud-glitch 200ms steps(4) forwards;
}

@keyframes hud-glitch {
    0% { clip-path: inset(0 0 0 0); filter: none; }
    25% { clip-path: inset(10% 0 30% 0); filter: hue-rotate(90deg); }
    50% { clip-path: inset(50% 0 10% 0); filter: hue-rotate(-90deg); }
    75% { clip-path: inset(20% 0 40% 0); filter: hue-rotate(45deg); }
    100% { clip-path: inset(0 0 0 0); filter: none; }
}

/* === Lambda Spore Field === */
#lambda-spores {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    pointer-events: none;
    z-index: 1;
    overflow: hidden;
}

.lambda-spore {
    position: absolute;
    font-family: 'JetBrains Mono', monospace;
    color: var(--phosphor-green);
    opacity: 0;
    user-select: none;
}

.lambda-spore.active {
    animation: spore-drift var(--drift-duration) linear infinite;
    opacity: var(--spore-opacity);
}

@keyframes spore-drift {
    0% {
        transform: translate(0, 0) rotate(var(--start-rotation));
    }
    25% {
        transform: translate(calc(var(--drift-x) * 0.3), calc(var(--drift-y) * 0.25)) rotate(calc(var(--start-rotation) + 20deg));
    }
    50% {
        transform: translate(calc(var(--drift-x) * 0.6), calc(var(--drift-y) * 0.5)) rotate(calc(var(--start-rotation) + 45deg));
    }
    75% {
        transform: translate(calc(var(--drift-x) * 0.8), calc(var(--drift-y) * 0.75)) rotate(calc(var(--start-rotation) + 30deg));
    }
    100% {
        transform: translate(var(--drift-x), var(--drift-y)) rotate(calc(var(--start-rotation) + 60deg));
    }
}

/* === Navigation Spine === */
#nav-spine {
    position: fixed;
    left: 8%;
    top: 0;
    height: 100%;
    width: 2px;
    z-index: 100;
    pointer-events: none;
}

.spine-line {
    position: absolute;
    top: 0;
    left: 0;
    width: 1px;
    height: 100%;
    background: var(--phosphor-green);
    opacity: 0.3;
    transition: background-color 1s ease;
}

#nav-spine.depth-violet .spine-line {
    background: var(--bioluminescent-violet);
}

#nav-spine.depth-magenta .spine-line {
    background: var(--deep-magenta);
}

#nav-spine.depth-amber .spine-line {
    background: var(--amber-signal);
}

.spine-tick {
    position: absolute;
    left: 0;
    display: flex;
    align-items: center;
}

.spine-tick::before {
    content: '';
    display: block;
    width: 20px;
    height: 1px;
    background: var(--phosphor-green);
    opacity: 0.5;
}

.spine-lambda {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.7rem;
    color: var(--phosphor-green);
    margin-left: 4px;
    opacity: 0.5;
}

/* === Depth Sections === */
.depth-section {
    position: relative;
    min-height: 100vh;
}

/* Depth Level 0 - Surface */
#depth-0 {
    height: 100vh;
    display: flex;
    align-items: center;
    justify-content: center;
}

.surface-content {
    text-align: center;
    z-index: 10;
    position: relative;
}

.site-title {
    font-family: 'Space Grotesk', sans-serif;
    font-weight: 700;
    font-size: clamp(4rem, 10vw, 8rem);
    color: var(--pale-phosphor);
    letter-spacing: -0.02em;
    line-height: 1.08;
    margin-bottom: 1.5rem;
}

.title-char {
    display: inline-block;
    opacity: 0;
    animation: char-reveal 0.8s ease forwards;
    animation-delay: calc(300ms + var(--i) * 60ms);
}

@keyframes char-reveal {
    0% { opacity: 0; transform: translateY(20px); }
    100% { opacity: 1; transform: translateY(0); }
}

.descend-prompt {
    font-family: 'JetBrains Mono', monospace;
    font-size: clamp(0.85rem, 1.8vw, 1.1rem);
    color: var(--phosphor-green);
    opacity: 0;
    animation: fade-in 1s ease forwards;
    animation-delay: 1.5s;
}

@keyframes fade-in {
    0% { opacity: 0; }
    100% { opacity: 0.8; }
}

.descend-line {
    width: 1px;
    height: 0;
    background: var(--phosphor-green);
    margin: 2rem auto 0;
    opacity: 0.6;
    animation: line-grow 2s ease forwards;
    animation-delay: 2s;
}

@keyframes line-grow {
    0% { height: 0; }
    100% { height: 120px; }
}

/* Ambient creature on surface */
.creature-surface {
    position: absolute;
    bottom: 10%;
    right: 15%;
    opacity: 0.08;
    animation: creature-drift-slow 30s ease-in-out infinite;
}

.type-monster-svg {
    width: 300px;
    height: auto;
}

.type-monster-svg.large {
    width: 400px;
}

.type-monster-svg.xlarge {
    width: 500px;
}

.type-monster-svg.colossal {
    width: 700px;
}

.syntax-creature {
    font-family: 'JetBrains Mono', monospace;
    font-size: 16px;
    fill: var(--phosphor-green);
    filter: drop-shadow(0 0 6px rgba(0, 255, 159, 0.6));
}

.syntax-creature.dim {
    fill: var(--phosphor-green);
    opacity: 0.15;
    filter: drop-shadow(0 0 4px rgba(0, 255, 159, 0.3));
}

.syntax-creature.dim-violet {
    fill: var(--bioluminescent-violet);
    opacity: 0.15;
    filter: drop-shadow(0 0 4px rgba(123, 94, 167, 0.3));
}

.syntax-creature.dim-magenta {
    fill: var(--deep-magenta);
    opacity: 0.12;
    filter: drop-shadow(0 0 4px rgba(194, 59, 110, 0.3));
}

.syntax-creature.dim-amber {
    fill: var(--amber-signal);
    opacity: 0.1;
    filter: drop-shadow(0 0 4px rgba(212, 168, 67, 0.3));
}

@keyframes creature-drift-slow {
    0%, 100% { transform: translate(0, 0) rotate(0deg); }
    25% { transform: translate(15px, -10px) rotate(2deg); }
    50% { transform: translate(-10px, 15px) rotate(-1deg); }
    75% { transform: translate(8px, 8px) rotate(1.5deg); }
}

/* === Depth Labels === */
.depth-label {
    padding: 3rem 0 2rem;
    padding-left: calc(8% + 40px);
}

.depth-indicator {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.7rem;
    color: var(--muted-sage);
    letter-spacing: 0.15em;
    display: block;
    margin-bottom: 0.3rem;
}

.depth-name {
    font-family: 'Space Grotesk', sans-serif;
    font-weight: 700;
    font-size: clamp(2rem, 4.5vw, 3.8rem);
    color: var(--pale-phosphor);
    letter-spacing: -0.02em;
    line-height: 1.08;
}

/* === Specimen Cards === */
.specimen-grid {
    display: grid;
    gap: 2rem;
    padding: 2rem calc(8% + 40px) 2rem;
    max-width: 1400px;
}

.functor-grid {
    grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
}

.monad-grid {
    grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
}

.typeclass-grid {
    grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
}

.category-grid,
.category-grid-2 {
    grid-template-columns: 1fr;
    max-width: 700px;
    margin-left: calc(8% + 40px);
    padding-left: 0;
}

.specimen-card {
    background: var(--terminal-card);
    border-radius: 8px;
    padding: 1.8rem;
    position: relative;
    overflow: hidden;
    opacity: 0;
    transform: translateY(30px);
    transition: opacity 0.6s ease, transform 0.6s ease;
    transition-delay: calc(var(--card-index) * 150ms);
    box-shadow: inset 0 0 30px rgba(0, 255, 159, 0.03);
}

.specimen-card.revealed {
    opacity: 1;
    transform: translateY(0);
}

/* Stagger offset for broken grid effect */
.specimen-grid .specimen-card:nth-child(2) {
    margin-top: 30px;
}

.specimen-grid .specimen-card:nth-child(3) {
    margin-top: -10px;
}

.card-border-top {
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    height: 2px;
}

.card-border-top.green {
    background: var(--phosphor-green);
    box-shadow: 0 0 10px var(--phosphor-green);
}

.card-border-top.violet {
    background: var(--bioluminescent-violet);
    box-shadow: 0 0 10px var(--bioluminescent-violet);
}

.card-border-top.magenta {
    background: var(--deep-magenta);
    box-shadow: 0 0 10px var(--deep-magenta);
}

.card-border-top.amber {
    background: var(--amber-signal);
    box-shadow: 0 0 10px var(--amber-signal);
}

.specimen-name {
    font-family: 'Cormorant Garamond', serif;
    font-weight: 300;
    font-style: italic;
    font-size: clamp(1.1rem, 2vw, 1.5rem);
    color: var(--bioluminescent-violet);
    letter-spacing: 0.08em;
    margin-bottom: 1rem;
}

/* Specimen creature SVGs */
.specimen-creature {
    margin: 1rem 0;
    display: flex;
    justify-content: center;
}

.card-creature-svg {
    width: 100%;
    max-width: 280px;
    height: auto;
}

.card-creature-svg.enormous {
    max-width: 400px;
}

.creature-text {
    font-family: 'JetBrains Mono', monospace;
    font-size: 14px;
}

.creature-text.sm {
    font-size: 11px;
}

.creature-text.green-glow {
    fill: var(--phosphor-green);
    filter: drop-shadow(0 0 6px rgba(0, 255, 159, 0.6));
}

.creature-text.violet-glow {
    fill: var(--bioluminescent-violet);
    filter: drop-shadow(0 0 6px rgba(123, 94, 167, 0.6));
}

.creature-text.magenta-glow {
    fill: var(--deep-magenta);
    filter: drop-shadow(0 0 6px rgba(194, 59, 110, 0.6));
}

.creature-text.amber-glow {
    fill: var(--amber-signal);
    filter: drop-shadow(0 0 6px rgba(212, 168, 67, 0.6));
}

.creature-line,
.creature-path,
.creature-circle,
.creature-rect {
    fill: none;
    stroke-width: 1.5;
}

.green-stroke { stroke: var(--phosphor-green); opacity: 0.4; }
.violet-stroke { stroke: var(--bioluminescent-violet); opacity: 0.4; }
.magenta-stroke { stroke: var(--deep-magenta); opacity: 0.4; }
.amber-stroke { stroke: var(--amber-signal); opacity: 0.4; }

.violet-stroke-dim { stroke: var(--bioluminescent-violet); opacity: 0.15; stroke-width: 1; }
.amber-stroke-dim { stroke: var(--amber-signal); opacity: 0.1; stroke-width: 1; }

/* Specimen code signatures */
.specimen-signature {
    font-family: 'JetBrains Mono', monospace;
    font-size: clamp(0.75rem, 1.2vw, 0.9rem);
    font-weight: 400;
    color: var(--phosphor-green);
    background: rgba(0, 255, 159, 0.05);
    padding: 0.8rem 1rem;
    border-radius: 4px;
    display: block;
    margin: 1rem 0;
    line-height: 1.6;
    border-left: 2px solid rgba(0, 255, 159, 0.2);
}

.specimen-desc {
    font-family: 'Inter', sans-serif;
    font-weight: 400;
    font-size: clamp(0.85rem, 1.3vw, 0.95rem);
    color: var(--soft-green-gray);
    line-height: 1.65;
    max-width: 38em;
}

.specimen-desc code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.85em;
    color: var(--phosphor-green);
    background: rgba(0, 255, 159, 0.08);
    padding: 0.1em 0.3em;
    border-radius: 2px;
}

/* === Danger Pulse (Depth 3) === */
.danger-pulse {
    animation: none;
}

.danger-pulse.revealed {
    animation: pulse-glow 3s ease-in-out infinite;
}

@keyframes pulse-glow {
    0%, 100% { box-shadow: inset 0 0 30px rgba(194, 59, 110, 0.05), 0 0 0 rgba(194, 59, 110, 0); }
    50% { box-shadow: inset 0 0 40px rgba(194, 59, 110, 0.1), 0 0 20px rgba(194, 59, 110, 0.05); }
}

/* === Abyss Regions === */
.abyss-region {
    min-height: 60vh;
    position: relative;
    display: flex;
    align-items: center;
    justify-content: center;
}

.abyss-deep {
    min-height: 70vh;
}

.abyss-vast {
    min-height: 80vh;
}

.ambient-creature {
    animation: creature-drift-slow 25s ease-in-out infinite;
}

.creature-fmap-jellyfish {
    opacity: 0.15;
}

.creature-bind-serpent {
    opacity: 0.12;
    animation: creature-drift-slow 35s ease-in-out infinite reverse;
}

.creature-gadt-horror {
    opacity: 0.1;
    animation: creature-drift-slow 40s ease-in-out infinite;
}

.creature-category-leviathan {
    opacity: 0.08;
    animation: creature-drift-slow 50s ease-in-out infinite reverse;
}

/* === Circuit Dendrites === */
.circuit-dendrites {
    position: absolute;
    top: 0;
    left: 8%;
    width: 60%;
    height: 200px;
    z-index: 5;
    overflow: visible;
}

.dendrite-path {
    fill: none;
    stroke-width: 1;
    stroke-dasharray: 400;
    stroke-dashoffset: 400;
    opacity: 0.5;
}

.dendrite-path.magenta-stroke {
    stroke: var(--deep-magenta);
}

.circuit-dendrites.animate .dendrite-path {
    animation: dendrite-draw 2s ease forwards;
}

@keyframes dendrite-draw {
    0% { stroke-dashoffset: 400; }
    100% { stroke-dashoffset: 0; }
}

/* === Monad Stack Background === */
.ambient-bg-structure {
    position: absolute;
    right: 10%;
    top: 0;
    height: 100%;
    opacity: 0.05;
    pointer-events: none;
    z-index: 0;
}

.monad-stack-svg {
    height: 100%;
    width: auto;
}

.stack-text {
    font-family: 'JetBrains Mono', monospace;
    font-size: 18px;
    fill: var(--bioluminescent-violet);
}

.stack-line {
    stroke: var(--bioluminescent-violet);
    stroke-width: 1;
    opacity: 0.3;
}

/* === Branching Spine (Depth 4) === */
.branching-spine {
    position: absolute;
    left: 8%;
    top: 0;
    height: 100%;
    width: 100px;
    pointer-events: none;
    z-index: 5;
}

.branch-line {
    position: absolute;
    width: 1px;
    height: 100%;
    opacity: 0.2;
}

.branch-1 {
    left: 0;
    background: var(--amber-signal);
}

.branch-2 {
    left: 15px;
    background: var(--amber-signal);
    opacity: 0.12;
    top: 10%;
    height: 80%;
}

.branch-3 {
    left: 30px;
    background: var(--amber-signal);
    opacity: 0.08;
    top: 20%;
    height: 60%;
}

/* === Depth Level 5 - Coda === */
#depth-5 {
    min-height: 100vh;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    position: relative;
    background: linear-gradient(to bottom, var(--abyss-black), var(--terminal-card));
}

.coda-content {
    text-align: center;
    max-width: 600px;
    padding: 0 2rem;
    z-index: 10;
    position: relative;
}

.coda-statement {
    font-family: 'Space Grotesk', sans-serif;
    font-weight: 400;
    font-size: clamp(1.1rem, 2vw, 1.4rem);
    color: var(--pale-phosphor);
    line-height: 1.7;
    margin-bottom: 4rem;
    opacity: 0;
    transform: translateY(20px);
    transition: opacity 1.2s ease, transform 1.2s ease;
}

.coda-statement.revealed {
    opacity: 0.9;
    transform: translateY(0);
}

.coda-domain {
    opacity: 0;
    transition: opacity 1.5s ease;
    transition-delay: 0.5s;
}

.coda-domain.revealed {
    opacity: 1;
}

.coda-domain-text {
    font-family: 'Cormorant Garamond', serif;
    font-weight: 300;
    font-style: italic;
    font-size: clamp(1.3rem, 3vw, 2rem);
    color: var(--bioluminescent-violet);
    letter-spacing: 0.08em;
}

.coda-cursor {
    font-family: 'JetBrains Mono', monospace;
    color: var(--phosphor-green);
    font-size: clamp(1.3rem, 3vw, 2rem);
    animation: blink-cursor 1s step-end infinite;
}

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

/* Rising spores in coda */
.rising-spores {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    pointer-events: none;
    overflow: hidden;
    z-index: 1;
}

.rising-spore {
    position: absolute;
    font-family: 'JetBrains Mono', monospace;
    color: var(--phosphor-green);
    animation: rise-up var(--rise-duration) linear infinite;
    opacity: var(--spore-opacity);
}

@keyframes rise-up {
    0% {
        transform: translateY(100vh) rotate(0deg);
        opacity: 0;
    }
    10% {
        opacity: var(--spore-opacity);
    }
    90% {
        opacity: var(--spore-opacity);
    }
    100% {
        transform: translateY(-50px) rotate(180deg);
        opacity: 0;
    }
}

/* === Depth-specific color shifts === */
.depth-monad .depth-name {
    color: var(--bioluminescent-violet);
}

.depth-monad .specimen-name {
    color: var(--bioluminescent-violet);
}

.depth-typeclass .depth-name {
    color: var(--deep-magenta);
}

.depth-typeclass .specimen-name {
    color: var(--deep-magenta);
}

.depth-typeclass .specimen-signature {
    color: var(--deep-magenta);
    background: rgba(194, 59, 110, 0.05);
    border-left-color: rgba(194, 59, 110, 0.2);
}

.depth-typeclass .specimen-desc code {
    color: var(--deep-magenta);
    background: rgba(194, 59, 110, 0.08);
}

.depth-category .depth-name {
    color: var(--amber-signal);
}

.depth-category .specimen-name {
    color: var(--amber-signal);
}

.depth-category .specimen-signature {
    color: var(--amber-signal);
    background: rgba(212, 168, 67, 0.05);
    border-left-color: rgba(212, 168, 67, 0.2);
}

.depth-category .specimen-desc code {
    color: var(--amber-signal);
    background: rgba(212, 168, 67, 0.08);
}

/* === Responsive === */
@media (max-width: 768px) {
    .specimen-grid {
        grid-template-columns: 1fr;
        padding-left: 1.5rem;
        padding-right: 1.5rem;
    }

    .depth-label {
        padding-left: 1.5rem;
    }

    #nav-spine {
        left: 4%;
    }

    .category-grid,
    .category-grid-2 {
        margin-left: 0;
        padding-left: 1.5rem;
    }

    .specimen-grid .specimen-card:nth-child(2) {
        margin-top: 0;
    }

    .specimen-grid .specimen-card:nth-child(3) {
        margin-top: 0;
    }
}

/* === Selection Color === */
::selection {
    background: rgba(0, 255, 159, 0.2);
    color: var(--pale-phosphor);
}