/* ============================================
   ANIMATIONS - Abstraction Cheatsheet
   Transitions, micro-interactions, effects
   ============================================ */

/* ============================================
   ENTRANCE ANIMATIONS
   ============================================ */
@keyframes fadeIn {
    from {
        opacity: 0;
    }

    to {
        opacity: 1;
    }
}

@keyframes fadeInUp {
    from {
        opacity: 0;
        transform: translateY(20px);
    }

    to {
        opacity: 1;
        transform: translateY(0);
    }
}

@keyframes fadeInDown {
    from {
        opacity: 0;
        transform: translateY(-20px);
    }

    to {
        opacity: 1;
        transform: translateY(0);
    }
}

@keyframes fadeInLeft {
    from {
        opacity: 0;
        transform: translateX(-20px);
    }

    to {
        opacity: 1;
        transform: translateX(0);
    }
}

@keyframes fadeInRight {
    from {
        opacity: 0;
        transform: translateX(20px);
    }

    to {
        opacity: 1;
        transform: translateX(0);
    }
}

@keyframes scaleIn {
    from {
        opacity: 0;
        transform: scale(0.9);
    }

    to {
        opacity: 1;
        transform: scale(1);
    }
}

/* Animation Classes */
.animate-fade-in {
    animation: fadeIn var(--transition-base) ease-out forwards;
}

.animate-fade-in-up {
    animation: fadeInUp var(--transition-base) ease-out forwards;
}

.animate-fade-in-down {
    animation: fadeInDown var(--transition-base) ease-out forwards;
}

.animate-scale-in {
    animation: scaleIn var(--transition-base) ease-out forwards;
}

/* Scroll-triggered animations */
.animate-on-scroll {
    opacity: 0;
    transform: translateY(20px);
    transition: opacity var(--transition-slow), transform var(--transition-slow);
}

.animate-on-scroll.visible {
    opacity: 1;
    transform: translateY(0);
}

/* Staggered animations */
.stagger-animation>* {
    opacity: 0;
    animation: fadeInUp var(--transition-base) ease-out forwards;
}

.stagger-animation>*:nth-child(1) {
    animation-delay: 0ms;
}

.stagger-animation>*:nth-child(2) {
    animation-delay: 50ms;
}

.stagger-animation>*:nth-child(3) {
    animation-delay: 100ms;
}

.stagger-animation>*:nth-child(4) {
    animation-delay: 150ms;
}

.stagger-animation>*:nth-child(5) {
    animation-delay: 200ms;
}

.stagger-animation>*:nth-child(6) {
    animation-delay: 250ms;
}

/* ============================================
   FSM ANIMATIONS
   ============================================ */
@keyframes pulseState {

    0%,
    100% {
        transform: scale(1);
        filter: brightness(1);
    }

    50% {
        transform: scale(1.05);
        filter: brightness(1.2);
    }
}

@keyframes transitionFlash {
    0% {
        stroke-dashoffset: 100;
        opacity: 0.5;
    }

    100% {
        stroke-dashoffset: 0;
        opacity: 1;
    }
}

.fsm-state.transitioning {
    animation: pulseState 0.5s ease-out;
}

.fsm-transition.animating .fsm-transition__path {
    stroke-dasharray: 100;
    animation: transitionFlash 0.5s ease-out forwards;
}

/* ============================================
   PETRI NET TOKEN ANIMATIONS
   ============================================ */
@keyframes tokenMove {
    0% {
        offset-distance: 0%;
    }

    100% {
        offset-distance: 100%;
    }
}

@keyframes tokenPulse {

    0%,
    100% {
        transform: scale(1);
        opacity: 1;
    }

    50% {
        transform: scale(1.3);
        opacity: 0.7;
    }
}

@keyframes tokenConsume {
    0% {
        transform: scale(1);
        opacity: 1;
    }

    100% {
        transform: scale(0);
        opacity: 0;
    }
}

@keyframes tokenProduce {
    0% {
        transform: scale(0);
        opacity: 0;
    }

    100% {
        transform: scale(1);
        opacity: 1;
    }
}

.petri-net__token.moving {
    animation: tokenMove 0.5s ease-in-out forwards;
}

.petri-net__token.consumed {
    animation: tokenConsume 0.3s ease-out forwards;
}

.petri-net__token.produced {
    animation: tokenProduce 0.3s ease-out forwards;
}

/* Transition fire animation */
@keyframes transitionFire {
    0% {
        fill: var(--glow-green);
    }

    50% {
        fill: var(--accent-green);
    }

    100% {
        fill: var(--glow-green);
    }
}

.petri-net__transition.firing .petri-net__transition-rect {
    animation: transitionFire 0.4s ease-out;
}

/* ============================================
   TURING MACHINE ANIMATIONS
   ============================================ */
@keyframes headMove {
    0% {
        transform: translateX(0);
    }

    100% {
        transform: translateX(var(--move-amount, 0));
    }
}

@keyframes cellWrite {

    0%,
    100% {
        background: var(--bg-tertiary);
    }

    50% {
        background: var(--accent-blue);
    }
}

@keyframes cellHighlight {
    0% {
        box-shadow: 0 0 0 0 var(--accent-blue);
    }

    50% {
        box-shadow: 0 0 0 4px rgba(88, 166, 255, 0.4);
    }

    100% {
        box-shadow: 0 0 0 0 var(--accent-blue);
    }
}

.tm-cell.writing {
    animation: cellWrite 0.4s ease-out;
}

.tm-cell.current {
    animation: cellHighlight 1s ease-in-out infinite;
}

.tm-head.moving {
    animation: headMove 0.3s ease-out forwards;
}

/* ============================================
   TYPE TREE ANIMATIONS
   ============================================ */
@keyframes treeNodeReveal {
    from {
        opacity: 0;
        transform: translateY(-10px);
    }

    to {
        opacity: 1;
        transform: translateY(0);
    }
}

@keyframes inferenceLineGrow {
    from {
        transform: scaleX(0);
    }

    to {
        transform: scaleX(1);
    }
}

.type-tree__node.revealing {
    animation: treeNodeReveal 0.4s ease-out forwards;
}

.type-tree__inference-line.growing {
    transform-origin: left;
    animation: inferenceLineGrow 0.3s ease-out forwards;
}

/* ============================================
   INTERACTIVE HOVER EFFECTS
   ============================================ */
.hover-lift {
    transition: transform var(--transition-fast), box-shadow var(--transition-fast);
}

.hover-lift:hover {
    transform: translateY(-2px);
    box-shadow: var(--shadow-md);
}

.hover-glow {
    transition: box-shadow var(--transition-fast);
}

.hover-glow:hover {
    box-shadow: var(--shadow-glow);
}

.hover-scale {
    transition: transform var(--transition-fast);
}

.hover-scale:hover {
    transform: scale(1.02);
}

/* ============================================
   BUTTON PRESS EFFECT
   ============================================ */
.press-effect {
    transition: transform var(--transition-fast);
}

.press-effect:active {
    transform: scale(0.95);
}

/* ============================================
   RIPPLE EFFECT
   ============================================ */
.ripple {
    position: relative;
    overflow: hidden;
}

.ripple::after {
    content: '';
    position: absolute;
    width: 100%;
    height: 100%;
    top: 50%;
    left: 50%;
    pointer-events: none;
    background: radial-gradient(circle, rgba(255, 255, 255, 0.2) 0%, transparent 70%);
    transform: translate(-50%, -50%) scale(0);
    opacity: 0;
    transition: transform 0.5s, opacity 0.5s;
}

.ripple:active::after {
    transform: translate(-50%, -50%) scale(2);
    opacity: 1;
    transition: transform 0s, opacity 0s;
}

/* ============================================
   LOADING ANIMATIONS
   ============================================ */
@keyframes spin {
    from {
        transform: rotate(0deg);
    }

    to {
        transform: rotate(360deg);
    }
}

@keyframes pulse {

    0%,
    100% {
        opacity: 1;
    }

    50% {
        opacity: 0.5;
    }
}

@keyframes bounce {

    0%,
    100% {
        transform: translateY(0);
    }

    50% {
        transform: translateY(-10px);
    }
}

.spinner {
    animation: spin 1s linear infinite;
}

.pulse {
    animation: pulse 2s ease-in-out infinite;
}

.bounce {
    animation: bounce 1s ease-in-out infinite;
}

/* ============================================
   THEME TRANSITION
   ============================================ */
.theme-transitioning * {
    transition: background-color var(--transition-slow),
        border-color var(--transition-slow),
        color var(--transition-slow) !important;
}

/* ============================================
   CODE COPY FEEDBACK
   ============================================ */
@keyframes copySuccess {
    0% {
        transform: scale(0.8);
        opacity: 0;
    }

    50% {
        transform: scale(1.1);
        opacity: 1;
    }

    100% {
        transform: scale(1);
        opacity: 1;
    }
}

.code-block__copy.copied::before {
    content: '✓';
    animation: copySuccess 0.3s ease-out;
}

/* ============================================
   SCROLL PROGRESS ANIMATION
   ============================================ */
.progress-bar__fill {
    transition: width 100ms linear;
}

/* ============================================
   SIDEBAR NAV INDICATOR
   ============================================ */
@keyframes navIndicatorSlide {
    from {
        transform: translateY(var(--from-y, 0));
    }

    to {
        transform: translateY(var(--to-y, 0));
    }
}

.nav-item__link::before {
    content: '';
    position: absolute;
    left: 0;
    top: 0;
    bottom: 0;
    width: 2px;
    background: var(--accent-blue);
    transform: scaleY(0);
    transition: transform var(--transition-fast);
}

.nav-item__link.active::before {
    transform: scaleY(1);
}

/* ============================================
   REDUCED MOTION
   ============================================ */
@media (prefers-reduced-motion: reduce) {

    *,
    *::before,
    *::after {
        animation-duration: 0.01ms !important;
        animation-iteration-count: 1 !important;
        transition-duration: 0.01ms !important;
        scroll-behavior: auto !important;
    }

    .animate-on-scroll {
        opacity: 1;
        transform: none;
    }
}