.layout-game[data-astro-cid-wsbqpv73]{color:#29272a;background:#f5f2eb;min-height:100svh;margin:0}.game-surface[data-astro-cid-wsbqpv73]{width:100%;min-width:0}.ev-game[data-astro-cid-wsbqpv73]{--ev-accent:#95183b;--ev-ink:#29272a;--ev-muted:#706a65;--ev-rule:#d9d2c7;--ev-surface:#f5f2eb;--ev-shop:#fbf9f4;--ev-soft:#eee2e2;--ev-brass:#87673e;--ev-active:#4d6b59;--ev-active-soft:#e7efe7;--ev-on-accent:#fff8f3;--ev-on-active:#fff;--ev-classical:#8a5a24;--ev-probabilistic:#2674b8;--ev-program-analysis:#2b7c50;--ev-mono:ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", monospace;grid-template-rows:auto minmax(0,1fr) auto;grid-template-columns:minmax(0,1fr);max-width:100rem;height:100svh;min-height:44rem;margin-inline:auto;padding:0 clamp(1rem,3vw,3rem);display:grid}.ev-game[data-astro-cid-wsbqpv73] [data-astro-cid-wsbqpv73]:is(h1,h2,h3,h4,p){margin:0}.ev-game[data-astro-cid-wsbqpv73] [data-astro-cid-wsbqpv73][hidden]{display:none!important}[data-astro-cid-wsbqpv73][data-research-area=classical-model-checking]{--ev-area:var(--ev-classical)}[data-astro-cid-wsbqpv73][data-research-area=probabilistic-model-checking]{--ev-area:var(--ev-probabilistic)}[data-astro-cid-wsbqpv73][data-research-area=program-analysis]{--ev-area:var(--ev-program-analysis)}[data-astro-cid-wsbqpv73][data-research-area=epilogue]{--ev-area:var(--ev-brass)}.ev-game[data-astro-cid-wsbqpv73] button[data-astro-cid-wsbqpv73]{font:inherit}.ev-game[data-astro-cid-wsbqpv73] [data-astro-cid-wsbqpv73]:is(button,a,summary,[tabindex]):focus-visible{outline:2px solid var(--ev-accent);outline-offset:4px}.ev-heading[data-astro-cid-wsbqpv73]{border-bottom:1px solid var(--ev-rule);grid-template-columns:1fr auto 1fr;align-items:center;gap:1rem;min-height:5rem;display:grid}.ev-heading[data-astro-cid-wsbqpv73] h1[data-astro-cid-wsbqpv73]{letter-spacing:-.025em;text-align:center;font-family:Georgia,Times New Roman,serif;font-size:clamp(1.25rem,1.8vw,1.75rem);font-weight:400;line-height:1.3}.ev-back[data-astro-cid-wsbqpv73]{width:fit-content;min-height:2.75rem;color:var(--ev-accent);letter-spacing:.1em;align-items:center;gap:.65rem;font-size:.8rem;font-weight:700;text-decoration:none;display:flex}.ev-back[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{font-size:1.15rem;font-weight:400}.ev-back[data-astro-cid-wsbqpv73]:hover{text-underline-offset:4px;text-decoration:underline}.ev-menu[data-astro-cid-wsbqpv73]{z-index:5;justify-self:end;position:relative}.ev-menu[data-astro-cid-wsbqpv73]>summary[data-astro-cid-wsbqpv73]{cursor:pointer;letter-spacing:.15em;width:2.75rem;min-height:2.75rem;color:var(--ev-muted);border:1px solid #0000;border-radius:50%;place-items:center;list-style:none;display:grid}.ev-menu[data-astro-cid-wsbqpv73]>summary[data-astro-cid-wsbqpv73]::-webkit-details-marker{display:none}.ev-menu[data-astro-cid-wsbqpv73][open]>summary[data-astro-cid-wsbqpv73],.ev-menu[data-astro-cid-wsbqpv73]>summary[data-astro-cid-wsbqpv73]:hover{border-color:var(--ev-rule);color:var(--ev-accent)}.ev-menu-panel[data-astro-cid-wsbqpv73]{border:1px solid var(--ev-rule);background:var(--ev-shop);border-radius:.35rem;width:min(17rem,100vw - 2rem);padding:.75rem;position:absolute;top:calc(100% + .4rem);right:0;box-shadow:0 .75rem 2rem #29272a12}.ev-menu-label[data-astro-cid-wsbqpv73]{color:var(--ev-muted);font:.75rem/1.5 var(--ev-mono);text-transform:uppercase;letter-spacing:.08em;padding:.5rem;display:block}.ev-menu-panel[data-astro-cid-wsbqpv73] button[data-astro-cid-wsbqpv73]{text-align:left;border-radius:.2rem;width:100%;min-height:2.75rem;padding:.55rem;font-size:1rem;display:block}.ev-menu-panel[data-astro-cid-wsbqpv73] button[data-astro-cid-wsbqpv73]:hover{background:var(--ev-soft);color:var(--ev-accent)}.ev-reset[data-astro-cid-wsbqpv73]{border-top:1px solid var(--ev-rule);margin-top:.5rem;padding-top:.75rem}.ev-reset[data-astro-cid-wsbqpv73] p[data-astro-cid-wsbqpv73]{padding:.5rem;font-size:.9375rem;line-height:1.5}.ev-reset[data-astro-cid-wsbqpv73] [data-astro-cid-wsbqpv73][data-game-reset-yes]{color:var(--ev-accent)}.ev-workbench[data-astro-cid-wsbqpv73]{grid-template-columns:minmax(0,1.25fr) minmax(25rem,1fr);min-height:0;display:grid}.ev-lab[data-astro-cid-wsbqpv73]{grid-template-rows:auto minmax(16rem,1fr) auto auto;grid-template-columns:minmax(0,1fr);min-width:0;min-height:0;padding:1.75rem 2.5rem 1.25rem 0;display:grid}.ev-wallet[data-astro-cid-wsbqpv73]{text-align:center;padding-top:clamp(1.25rem,3.5vh,2.25rem)}.ev-wallet[data-astro-cid-wsbqpv73] h2[data-astro-cid-wsbqpv73]{color:var(--ev-ink);letter-spacing:-.02em;font:400 1.75rem/1.3 Georgia,Times New Roman,serif}[data-astro-cid-wsbqpv73][data-game-balance]{overflow-wrap:anywhere;min-width:0}.ev-balance[data-astro-cid-wsbqpv73]{font:500 clamp(3.75rem, 5.5vw, 5.5rem)/1.1 var(--ev-mono);letter-spacing:-.06em;font-variant-numeric:tabular-nums;justify-content:center;align-items:baseline;gap:.55rem;padding-top:.4rem;display:flex}.ev-unit[data-astro-cid-wsbqpv73]{color:var(--ev-accent);font:1.125rem var(--ev-mono);letter-spacing:0;position:relative}.ev-rates[data-astro-cid-wsbqpv73]{width:min(23rem,90%);max-width:100%;color:var(--ev-muted);font-variant-numeric:tabular-nums;grid-template-columns:repeat(2,minmax(0,1fr));margin:1rem auto .4rem;font-size:.875rem;line-height:1.5;display:grid}.ev-rates[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{overflow-wrap:anywhere;gap:.15rem;min-width:0;display:grid}.ev-rates[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]+span[data-astro-cid-wsbqpv73]{border-left:1px solid var(--ev-rule)}.ev-rates[data-astro-cid-wsbqpv73] strong[data-astro-cid-wsbqpv73]{font:500 1.0625rem/1.5 var(--ev-mono);color:var(--ev-ink)}.ev-machine[data-astro-cid-wsbqpv73]{background-image:radial-gradient(var(--ev-rule) .65px, transparent .65px);background-position:50%;background-size:1.25rem 1.25rem;place-items:center;min-height:0;margin-block:.6rem;display:grid;position:relative}.ev-game[data-astro-cid-wsbqpv73][data-research-stage]:not([data-research-stage="0"]) .ev-machine[data-astro-cid-wsbqpv73]{background-image:none;min-height:20rem}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="3"]{min-height:54rem}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="3"] .ev-status[data-astro-cid-wsbqpv73]{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.ev-research-description[data-astro-cid-wsbqpv73]{color:var(--ev-ink);grid-area:3/1;font-size:.875rem;line-height:1.5}.ev-upgrade[data-astro-cid-wsbqpv73][data-research-area=epilogue] .ev-effect[data-astro-cid-wsbqpv73]{grid-row:4}.ev-upgrade[data-astro-cid-wsbqpv73][data-research-area=epilogue][data-owned=true] .ev-research-description[data-astro-cid-wsbqpv73]{grid-row:2}.ev-upgrade[data-astro-cid-wsbqpv73][data-research-area=epilogue][data-owned=true] .ev-effect[data-astro-cid-wsbqpv73]{grid-row:3}.ev-diagram[data-astro-cid-wsbqpv73]{width:100%;height:100%;min-height:0;color:var(--ev-accent);touch-action:manipulation;-webkit-tap-highlight-color:transparent;user-select:none;background:0 0;border:0;padding:.7rem;display:block;position:relative}.ev-start-hint[data-astro-cid-wsbqpv73]{z-index:1;background:var(--ev-surface);width:max-content;max-width:calc(100% - 2rem);color:var(--ev-ink);text-align:center;pointer-events:none;border-radius:.2rem;padding:.5rem .8rem;font:500 clamp(1.25rem,2.5vw,2rem)/1.3 Georgia,serif;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.ev-diagram[data-astro-cid-wsbqpv73] svg[data-astro-cid-wsbqpv73]{width:100%;min-width:0;max-width:45rem;height:100%;min-height:0;max-height:100%;margin-inline:auto;transition:transform .1s ease-out;display:block;overflow:visible}.ev-diagram[data-astro-cid-wsbqpv73][data-pressed=true] svg[data-astro-cid-wsbqpv73],.ev-diagram[data-astro-cid-wsbqpv73]:active svg[data-astro-cid-wsbqpv73]{transform:scale(.98)}.ev-diagram[data-astro-cid-wsbqpv73]:not(:disabled):hover .ev-start[data-astro-cid-wsbqpv73]{fill:var(--ev-soft);stroke-width:2.5px}.ev-diagram[data-astro-cid-wsbqpv73]:disabled{cursor:default}.ev-edges[data-astro-cid-wsbqpv73]{opacity:.6}.ev-nodes[data-astro-cid-wsbqpv73]{fill:var(--ev-surface)}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="1"] .ev-edges[data-astro-cid-wsbqpv73]{opacity:.4;stroke-width:1.15px;stroke-dasharray:4 5;stroke-linecap:round}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="1"] .ev-nodes[data-astro-cid-wsbqpv73]>[data-astro-cid-wsbqpv73]{fill:none;stroke-width:1.15px;stroke-dasharray:3 2}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="1"] .ev-probabilities[data-astro-cid-wsbqpv73]{opacity:.35;font-weight:400}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="1"] .ev-bars[data-astro-cid-wsbqpv73]{opacity:.15}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="2"] .ev-edges[data-astro-cid-wsbqpv73]{opacity:.5;stroke-width:1.35px;stroke-dasharray:9 3;stroke-linecap:round}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="2"] .ev-nodes[data-astro-cid-wsbqpv73]>[data-astro-cid-wsbqpv73]{stroke-width:1.35px}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="2"] .ev-probabilities[data-astro-cid-wsbqpv73]{opacity:.65;font-weight:400}.ev-game[data-astro-cid-wsbqpv73][data-research-stage="2"] .ev-bars[data-astro-cid-wsbqpv73]{opacity:.35}.ev-start[data-astro-cid-wsbqpv73]{fill:var(--ev-soft)}.ev-outcome[data-astro-cid-wsbqpv73][data-active=true]{fill:var(--ev-soft);stroke-width:2.8px}.ev-probabilities[data-astro-cid-wsbqpv73]{stroke:var(--ev-surface);stroke-width:4px;paint-order:stroke;font-family:ui-sans-serif,system-ui,sans-serif;font-size:14px;font-weight:500}.ev-bars[data-astro-cid-wsbqpv73]{color:var(--ev-brass);opacity:.75}.ev-diagram[data-astro-cid-wsbqpv73][data-activated=true] .ev-start[data-astro-cid-wsbqpv73]{fill:var(--ev-accent);stroke-width:2.5px}.ev-reward[data-astro-cid-wsbqpv73]{z-index:1;white-space:nowrap;color:var(--ev-accent);background:var(--ev-soft);font:.8rem var(--ev-mono);opacity:0;pointer-events:none;border-radius:.2rem;padding:.2rem .4rem;position:absolute;top:50%;left:calc(100% + .6rem);transform:translateY(-50%)}.ev-reward[data-astro-cid-wsbqpv73][data-activated=true]{opacity:1}.ev-shop[data-astro-cid-wsbqpv73]{border-inline:1px solid var(--ev-rule);background:var(--ev-shop);flex-direction:column;min-width:0;min-height:0;padding-top:1.4rem;display:flex;container-type:inline-size}.ev-shop-top[data-astro-cid-wsbqpv73]{border-bottom:1px solid var(--ev-rule);flex-shrink:0;padding:0 1.5rem 1rem}.ev-shop-heading[data-astro-cid-wsbqpv73]{flex-wrap:wrap;align-items:center;gap:.65rem;display:flex}.ev-shop-heading[data-astro-cid-wsbqpv73] h2[data-astro-cid-wsbqpv73]{font-family:Georgia,Times New Roman,serif;font-size:1.5rem;font-weight:400;line-height:1.4}.ev-panel-number[data-astro-cid-wsbqpv73]{border:1px solid var(--ev-rule);width:1.15rem;height:1.15rem;color:var(--ev-accent);font:.9rem var(--ev-mono);place-items:center;display:grid}.ev-next[data-astro-cid-wsbqpv73]{border-left:2px solid var(--ev-rule);background:color-mix(in srgb, var(--ev-brass) 4%, var(--ev-shop));color:var(--ev-muted);grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:.5rem .75rem;margin-top:.8rem;padding:.75rem;font-size:.875rem;line-height:1.5;display:grid}.ev-next-label[data-astro-cid-wsbqpv73]{color:var(--ev-ink);font-weight:600}.ev-next[data-astro-cid-wsbqpv73] strong[data-astro-cid-wsbqpv73]{min-width:0;font:.75rem/1.5 var(--ev-mono);text-align:right;overflow-wrap:anywhere;align-self:center}.ev-next[data-astro-cid-wsbqpv73] progress[data-astro-cid-wsbqpv73]{appearance:none;background:var(--ev-rule);width:100%;height:4px;accent-color:var(--ev-accent);border:0;grid-column:1/-1;display:block;overflow:hidden}.ev-next[data-astro-cid-wsbqpv73] progress[data-astro-cid-wsbqpv73]::-webkit-progress-bar{background:var(--ev-rule)}.ev-next[data-astro-cid-wsbqpv73] progress[data-astro-cid-wsbqpv73]::-webkit-progress-value{background:var(--ev-accent)}.ev-next[data-astro-cid-wsbqpv73] progress[data-astro-cid-wsbqpv73]::-moz-progress-bar{background:var(--ev-accent)}.ev-shop-scroll[data-astro-cid-wsbqpv73]{scrollbar-width:thin;scrollbar-color:var(--ev-rule) transparent;scrollbar-gutter:stable;overflow-anchor:none;flex:1;min-height:0;scroll-padding-block:.75rem;overflow-y:auto}.ev-upgrade[data-astro-cid-wsbqpv73]{text-align:left;width:100%;color:var(--ev-ink);background:0 0;border:0;border-radius:0;grid-template-columns:minmax(0,1fr) auto;gap:.25rem .75rem;margin:0;padding:.9rem 0 1rem;transition:color .12s;display:grid;position:relative}.ev-upgrade[data-astro-cid-wsbqpv73]:not([hidden])~.ev-upgrade[data-astro-cid-wsbqpv73]:not([hidden]){border-top:1px solid var(--ev-rule)}.ev-upgrade[data-astro-cid-wsbqpv73]:is(:disabled,[aria-disabled=true]){cursor:default}.ev-upgrade[data-astro-cid-wsbqpv73]:is(:disabled,[aria-disabled=true]):not([data-owned=true]),.ev-upgrade[data-astro-cid-wsbqpv73]:is(:disabled,[aria-disabled=true]):not([data-owned=true]) .ev-effect[data-astro-cid-wsbqpv73]{color:var(--ev-muted)}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true]{background:0 0;border:0;border-radius:0;grid-template-columns:minmax(0,1fr) auto;gap:.2rem .6rem;margin:0;padding:.7rem 0}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-upgrade-heading[data-astro-cid-wsbqpv73] strong[data-astro-cid-wsbqpv73]{grid-row:1;font-size:.9375rem;font-weight:550}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-effect[data-astro-cid-wsbqpv73]{color:var(--ev-muted);grid-row:2;font-size:.8125rem;font-weight:400}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] [data-astro-cid-wsbqpv73]:is(.ev-affordance,.ev-purchase-hint,.ev-price){display:none}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-price-block[data-astro-cid-wsbqpv73]{grid-area:1/2/3;align-self:center;min-width:0;margin:0;display:flex}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-price-line[data-astro-cid-wsbqpv73]{display:block}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-buy[data-astro-cid-wsbqpv73]{width:auto;min-height:0;font-size:.75rem;display:inline-flex}.ev-upgrade-heading[data-astro-cid-wsbqpv73]{font-size:1.0625rem;line-height:1.45;display:contents}.ev-upgrade-heading[data-astro-cid-wsbqpv73] strong[data-astro-cid-wsbqpv73]{overflow-wrap:anywhere;grid-area:2/1;min-width:0;font-weight:650}.ev-price-block[data-astro-cid-wsbqpv73]{text-align:right;grid-area:2/2/4;align-content:start;gap:.2rem;min-width:6.5rem;display:grid}.ev-price-line[data-astro-cid-wsbqpv73]{display:contents}.ev-price[data-astro-cid-wsbqpv73]{color:var(--ev-muted);font:.9375rem/1.6 var(--ev-mono);font-variant-numeric:tabular-nums;grid-area:1/1}.ev-purchase-hint[data-astro-cid-wsbqpv73]{min-height:1.75rem;color:var(--ev-muted);font:.75rem/1.5 var(--ev-mono);grid-area:2/1;justify-content:end;align-items:center;display:flex}.ev-buy[data-astro-cid-wsbqpv73]{width:4.5rem;min-height:1.75rem;color:var(--ev-muted);white-space:nowrap;border-radius:.2rem;grid-area:2/1;justify-content:center;justify-self:end;align-items:center;font-size:.8125rem;font-weight:500;display:inline-flex}.ev-upgrade[data-astro-cid-wsbqpv73][data-ready=true] .ev-buy[data-astro-cid-wsbqpv73]{background:var(--ev-accent);color:var(--ev-on-accent);font-weight:700}.ev-upgrade[data-astro-cid-wsbqpv73][data-ready=true] .ev-purchase-hint[data-astro-cid-wsbqpv73],.ev-upgrade[data-astro-cid-wsbqpv73]:not([data-ready=true]):not([data-owned=true]) .ev-buy[data-astro-cid-wsbqpv73]{visibility:hidden}.ev-upgrade[data-astro-cid-wsbqpv73][data-owned=true] .ev-buy[data-astro-cid-wsbqpv73],.ev-worker[data-astro-cid-wsbqpv73][data-active=true] .ev-owned[data-astro-cid-wsbqpv73]{color:var(--ev-active);font-weight:600}.ev-effect[data-astro-cid-wsbqpv73]{color:var(--ev-accent);flex-wrap:wrap;grid-area:3/1;align-items:baseline;gap:.25rem .6rem;font-size:.875rem;font-weight:550;line-height:1.5;display:flex}.ev-owned[data-astro-cid-wsbqpv73]{color:var(--ev-muted);font:.75rem/1.6 var(--ev-mono)}.ev-affordance[data-astro-cid-wsbqpv73]{display:none}.ev-affordance[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{background:var(--ev-accent);opacity:.45;width:0;height:100%;display:block}.ev-upgrade[data-astro-cid-wsbqpv73]:not(:disabled):not([aria-disabled=true]) .ev-affordance[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{opacity:1}.ev-upgrade[data-astro-cid-wsbqpv73]:not(:disabled):not([aria-disabled=true]) .ev-purchase-hint[data-astro-cid-wsbqpv73]{color:var(--ev-accent)}.ev-upgrade[data-astro-cid-wsbqpv73]:not(:disabled):not([aria-disabled=true]) .ev-price[data-astro-cid-wsbqpv73]{color:var(--ev-accent);font-weight:650}.ev-upgrade-group[data-astro-cid-wsbqpv73]{margin-top:1.25rem;padding-left:.75rem}.ev-group-heading[data-astro-cid-wsbqpv73]{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.35rem .7rem;margin-bottom:.6rem;display:flex}.ev-upgrade-group[data-astro-cid-wsbqpv73] h4[data-astro-cid-wsbqpv73]{color:var(--ev-area);align-items:baseline;gap:.5rem;font-size:.9375rem;font-weight:700;line-height:1.5;display:flex}.ev-group-state[data-astro-cid-wsbqpv73]{color:var(--ev-muted);font:.75rem/1.5 var(--ev-mono);flex-shrink:0;gap:.5rem;display:flex}.ev-upgrade-group[data-astro-cid-wsbqpv73][data-complete=true] .ev-group-state[data-astro-cid-wsbqpv73]{color:var(--ev-active)}.ev-method-track[data-astro-cid-wsbqpv73]{gap:.25rem;margin-bottom:.2rem;display:flex}.ev-method-track[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{background:var(--ev-rule);flex:1;height:3px}.ev-method-track[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73][data-filled=true]{background:var(--ev-area)}.ev-frontier[data-astro-cid-wsbqpv73],.ev-producers[data-astro-cid-wsbqpv73],.ev-history[data-astro-cid-wsbqpv73]{border-bottom:1px solid var(--ev-rule);padding:1.25rem 1.5rem}.ev-history[data-astro-cid-wsbqpv73]{border-bottom:0}.ev-section-heading[data-astro-cid-wsbqpv73]{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem;margin-bottom:.35rem;display:flex}.ev-section-heading[data-astro-cid-wsbqpv73] h3[data-astro-cid-wsbqpv73]{color:var(--ev-ink);font:400 1.375rem/1.4 Georgia,Times New Roman,serif}.ev-field[data-astro-cid-wsbqpv73]{color:var(--ev-area);grid-area:1/1/auto/-1;align-items:baseline;gap:.5rem;margin-bottom:.2rem;font-size:.75rem;font-weight:550;line-height:1.5;display:flex}.ev-area-number[data-astro-cid-wsbqpv73]{font:.75rem/1.5 var(--ev-mono);flex-shrink:0}[data-astro-cid-wsbqpv73][data-game-purchased] .ev-field[data-astro-cid-wsbqpv73]{display:none}.ev-complete[data-astro-cid-wsbqpv73]{text-align:center;color:var(--ev-ink);justify-items:center;gap:.3rem;padding:.75rem 0 0;display:grid}.ev-complete[data-astro-cid-wsbqpv73] h3[data-astro-cid-wsbqpv73]{color:var(--ev-accent);letter-spacing:-.035em;font:400 clamp(2rem,3.2vw,3rem)/1.15 Georgia,serif}.ev-complete[data-astro-cid-wsbqpv73] a[data-astro-cid-wsbqpv73]{min-height:2.75rem;color:var(--ev-accent);text-underline-offset:.2em;align-items:center;gap:.4rem;font-size:.9375rem;text-decoration:underline;display:inline-flex}.ev-machine[data-astro-cid-wsbqpv73]{position:relative}.ev-footnote[data-astro-cid-wsbqpv73]{border-top:1px solid var(--ev-rule);min-height:2.75rem;color:var(--ev-muted);justify-content:flex-end;align-items:center;gap:1rem;display:flex}.ev-credit[data-astro-cid-wsbqpv73]{font-size:.75rem;line-height:1.5}.ev-credit[data-astro-cid-wsbqpv73] a[data-astro-cid-wsbqpv73]{color:var(--ev-accent);text-underline-offset:.2em;padding-block:.25rem;text-decoration:underline;display:inline-block}.ev-status[data-astro-cid-wsbqpv73]{min-width:0;min-height:1.5em;color:var(--ev-muted);text-align:center;font-size:.875rem;line-height:1.5}.ev-game[data-astro-cid-wsbqpv73][data-layout=flow]{grid-template-rows:auto auto auto;height:auto}.ev-game[data-astro-cid-wsbqpv73][data-layout=flow] .ev-workbench[data-astro-cid-wsbqpv73]{grid-template-rows:auto auto}.ev-game[data-astro-cid-wsbqpv73][data-layout=flow] .ev-shop-scroll[data-astro-cid-wsbqpv73]{flex:none;overflow-y:visible}@media (width>=64rem){.ev-game[data-astro-cid-wsbqpv73][data-layout=flow] .ev-lab[data-astro-cid-wsbqpv73]{align-self:start}.ev-game[data-astro-cid-wsbqpv73][data-layout=flow] .ev-machine[data-astro-cid-wsbqpv73]{height:clamp(16rem,40svh,28rem)}}@container (width<=25rem){.ev-next[data-astro-cid-wsbqpv73]{grid-template-columns:minmax(0,1fr)}.ev-next[data-astro-cid-wsbqpv73] strong[data-astro-cid-wsbqpv73]{text-align:left}.ev-upgrade[data-astro-cid-wsbqpv73]{grid-template-columns:minmax(0,1fr);gap:.3rem}.ev-price-block[data-astro-cid-wsbqpv73]{text-align:left;grid-area:4/1;grid-template-columns:minmax(0,1fr) auto;align-items:center;min-width:0;margin-top:.2rem}.ev-upgrade[data-astro-cid-wsbqpv73][data-research-area=epilogue]:not([data-owned=true]) .ev-price-block[data-astro-cid-wsbqpv73]{grid-row:5}.ev-purchase-hint[data-astro-cid-wsbqpv73],.ev-buy[data-astro-cid-wsbqpv73]{grid-area:1/2}}@container (width<=18rem){.ev-price-block[data-astro-cid-wsbqpv73]{grid-template-columns:minmax(0,1fr)}.ev-purchase-hint[data-astro-cid-wsbqpv73],.ev-buy[data-astro-cid-wsbqpv73]{grid-area:2/1;justify-content:start;justify-self:start}.ev-buy[data-astro-cid-wsbqpv73]{justify-content:center}}@media (width<=63.999rem){.ev-game[data-astro-cid-wsbqpv73]{grid-template-rows:auto auto auto;height:auto;min-height:100svh;padding-inline:clamp(.75rem,3vw,1.5rem)}.ev-heading[data-astro-cid-wsbqpv73]{grid-template-columns:auto minmax(0,1fr) auto;gap:.75rem;min-height:4.5rem}.ev-heading[data-astro-cid-wsbqpv73] h1[data-astro-cid-wsbqpv73]{padding-block:.75rem;font-size:1.25rem}.ev-back[data-astro-cid-wsbqpv73]{gap:.35rem}.ev-back[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{font-size:1rem}.ev-workbench[data-astro-cid-wsbqpv73]{grid-template-rows:auto auto;grid-template-columns:minmax(0,1fr)}.ev-lab[data-astro-cid-wsbqpv73]{padding:1rem 0}.ev-wallet[data-astro-cid-wsbqpv73]{padding-top:1rem}.ev-wallet[data-astro-cid-wsbqpv73] h2[data-astro-cid-wsbqpv73]{font-size:1.5rem}.ev-balance[data-astro-cid-wsbqpv73]{font-size:clamp(3.5rem,8vw,4.5rem)}.ev-rates[data-astro-cid-wsbqpv73]{margin-top:.75rem}.ev-reward[data-astro-cid-wsbqpv73]{padding:.15rem .25rem;top:-.5rem;left:auto;right:0;transform:translateY(-100%)}.ev-machine[data-astro-cid-wsbqpv73]{background-size:1rem 1rem;min-height:16rem;margin-block:.75rem}.ev-diagram[data-astro-cid-wsbqpv73]{padding:.25rem}.ev-probabilities[data-astro-cid-wsbqpv73]{font-size:16px}.ev-shop[data-astro-cid-wsbqpv73]{border:0;border-top:1px solid var(--ev-rule);padding-top:1rem}.ev-shop-top[data-astro-cid-wsbqpv73]{padding:0 .75rem .85rem}.ev-next[data-astro-cid-wsbqpv73]{margin-top:.6rem}.ev-shop-scroll[data-astro-cid-wsbqpv73]{flex:none;overflow-y:visible}.ev-frontier[data-astro-cid-wsbqpv73],.ev-producers[data-astro-cid-wsbqpv73],.ev-history[data-astro-cid-wsbqpv73]{padding:1rem .75rem}.ev-complete[data-astro-cid-wsbqpv73]{padding-top:.25rem}.ev-footnote[data-astro-cid-wsbqpv73]{flex-wrap:wrap;gap:.5rem 1rem;min-height:3rem;padding-block:.65rem}}@media (width<=24rem){.ev-heading[data-astro-cid-wsbqpv73]{gap:.4rem}.ev-heading[data-astro-cid-wsbqpv73] h1[data-astro-cid-wsbqpv73]{font-size:1.125rem}.ev-back[data-astro-cid-wsbqpv73]{gap:0;min-width:2.75rem;font-size:0}.ev-back[data-astro-cid-wsbqpv73]>span[data-astro-cid-wsbqpv73]{font-size:1.2rem}}@media (height<=42rem),(width>=64rem) and (height<=46rem){.ev-game[data-astro-cid-wsbqpv73]{grid-template-rows:auto auto auto;height:auto;min-height:100svh}.ev-workbench[data-astro-cid-wsbqpv73]{grid-template-rows:auto auto}.ev-lab[data-astro-cid-wsbqpv73]{min-height:22rem}.ev-machine[data-astro-cid-wsbqpv73]{min-height:16rem}.ev-shop-scroll[data-astro-cid-wsbqpv73]{overflow-y:visible}.ev-status[data-astro-cid-wsbqpv73]{white-space:normal}}@media (width>=64rem) and (height<=46rem){.ev-lab[data-astro-cid-wsbqpv73]{align-self:start}.ev-machine[data-astro-cid-wsbqpv73]{height:clamp(16rem,40svh,28rem)}}@media (prefers-color-scheme:dark){.layout-game[data-astro-cid-wsbqpv73]{color:#eeebe5;background:#232125}.ev-game[data-astro-cid-wsbqpv73]{--ev-accent:#eca4b5;--ev-ink:#eeebe5;--ev-muted:#b5aea8;--ev-rule:#494248;--ev-surface:#232125;--ev-shop:#29262b;--ev-soft:#3e2e37;--ev-brass:#c5ab7f;--ev-active:#b3c5b5;--ev-active-soft:#293c32;--ev-on-accent:#2f1720;--ev-on-active:#1b3024;--ev-classical:#d9b37b;--ev-probabilistic:#78b9ee;--ev-program-analysis:#77c697}}@media (prefers-reduced-motion:reduce){.ev-diagram[data-astro-cid-wsbqpv73] svg[data-astro-cid-wsbqpv73],.ev-upgrade[data-astro-cid-wsbqpv73]{transition:none}.ev-diagram[data-astro-cid-wsbqpv73][data-pressed=true] svg[data-astro-cid-wsbqpv73],.ev-diagram[data-astro-cid-wsbqpv73]:active svg[data-astro-cid-wsbqpv73]{transform:none}}