@font-face{font-family:Neue Haas Unica;src:url(/_next/static/media/NeueHaasUnicaPro-Regular.c5e5be8a.otf) format("opentype");font-weight:400;font-style:normal}@font-face{font-family:Neue Haas Unica;src:url(/_next/static/media/NeueHaasUnicaPro-Bold.f85a642e.otf) format("opentype");font-weight:600;font-style:normal}.theme-light{--global-border-width:0;--global-border-radius:16px;--body-bg:var(--grey-light80);--button-primary-font:var(--font-sans-serif);--button-primary-bg-default:var(--red-light20);--button-primary-text-default:var(--white);--button-primary-border-default:var(--red-light20);--button-primary-border-width-default:var(--global-border-width);--button-primary-border-radius-default:0;--button-primary-bg-hover:var(--red-light30);--button-primary-text-hover:var(--white);--button-primary-border-hover:var(--red-light20);--button-primary-border-width-hover:var(--global-border-width);--button-primary-border-radius-hover:0;--button-primary-bg-active:var(--red);--button-primary-text-active:var(--white);--button-primary-border-active:var(--red);--button-primary-border-width-active:var(--global-border-width);--button-primary-border-radius-active:0;--button-primary-bg-loading:var(--red-light90);--button-primary-spinner-loading:var(--white);--button-primary-border-loading:var(--red-light90);--button-primary-border-width-loading:var(--global-border-width);--button-primary-border-radius-loading:0;--button-secondary-font:var(--font-sans-serif);--button-secondary-bg-default:color-mix(in oklch,var(--red-light80) 40%,transparent);--button-secondary-text-default:var(--red);--button-secondary-border-default:var(--red-light40);--button-secondary-border-width-default:var(--global-border-width);--button-secondary-border-radius-default:0;--button-secondary-bg-hover:color-mix(in oklch,var(--red-light90) 40%,transparent);--button-secondary-text-hover:var(--red-light90);--button-secondary-border-hover:var(--red-light90);--button-secondary-border-width-hover:var(--global-border-width);--button-secondary-border-radius-hover:0;--button-secondary-bg-active:color-mix(in oklch,var(--red-light90) 20%,transparent);--button-secondary-text-active:var(--red-light90);--button-secondary-border-active:var(--red-light90);--button-secondary-border-width-active:var(--global-border-width);--button-secondary-border-radius-active:0;--button-secondary-bg-loading:var(--white);--button-secondary-spinner-loading:var(--red-light90);--button-secondary-border-loading:var(--red-light90);--button-secondary-border-width-loading:var(--global-border-width);--button-secondary-border-radius-loading:0;--button-tertiary-font:var(--font-sans-serif);--button-tertiary-bg-default:var(--transparent);--button-tertiary-text-default:var(--blue);--button-tertiary-border-default:var(--blue);--button-tertiary-border-width-default:var(--global-border-width);--button-tertiary-border-radius-default:var(--global-border-radius);--button-tertiary-bg-hover:var(--blue-light80);--button-tertiary-text-hover:var(--blue);--button-tertiary-border-hover:var(--blue-light20);--button-tertiary-border-width-hover:var(--global-border-width);--button-tertiary-border-radius-hover:var(--global-border-radius);--button-tertiary-bg-active:var(--blue-light70);--button-tertiary-text-active:var(--blue);--button-tertiary-border-active:var(--blue-light30);--button-tertiary-border-width-active:var(--global-border-width);--button-tertiary-border-radius-active:var(--global-border-radius);--button-tertiary-spinner-loading:var(--blue);--button-tertiary-bg-disabled:var(--blue-light10);--button-tertiary-text-disabled:var(--white);--button-tertiary-border-disabled:var(--blue-light10);--button-tertiary-border-width-disabled:var(--global-border-width);--button-tertiary-border-radius-disabled:var(--global-border-radius);--divider-bg:color-mix(in oklch,var(--white) 40%,transparent);--notification-item-success-bg:var(--green-light80);--range-thumb-bg:var(--red-light20);--range-track-bg:var(--red-light70);--thumb-height:32px;--radio-tabs-height:40px;--radio-tabs-vertical-gap:4px;--radio-tabs-bg:var(--grey-light50);--radio-tabs-border:var(--grey-light50);--radio-tabs-label-text-default:var(--slate-dark40);--radio-tabs-label-text-hover:var(--slate-dark80);--radio-tabs-label-bg-hover:color-mix(in oklch,var(--slate-light90) 40%,transparent);--radio-tabs-label-bg-active:var(--red-light20);--radio-tabs-label-text-active:var(--white);--radio-tabs-label-focus-border:var(--blue);--radio-tabs-scroll-button-default:color-mix(in oklch,var(--slate-light10) 30%,transparent);--radio-tabs-scroll-arrow-default:var(--white);--radio-tabs-scroll-button-hover:var(--white);--radio-tabs-scroll-arrow-hover:var(--white);--font-sans-serif:"Helvetica",sans-serif;--scale-ratio-max:1.24;--heading-text-colour:var(--black);--heading-line-height:1.1;--paragraph-text-colour:var(--black);--token-property:var(--green-light20);--token-function:var(--amber-light40);--token-attrName:var(--pistachio-light20);--token-namespace:var(--blue-light40);--mock-ide-window-bg:var(--slate-dark20);--mock-ide-window-border:var(--slate);--mock-ide-titlebar-bg:var(--slate-dark30);--mock-ide-titlebar-border:color-mix(in oklch,var(--white) 20%,transparent);--mock-ide-explorer-bg:var(--slate-dark80);--mock-ide-explorer-border:color-mix(in oklch,var(--slate-light20) 20%,transparent);--mock-ide-explorer-text:var(--white);--mock-ide-explorer-item-active-bg:color-mix(in oklch,var(--white) 10%,transparent);--mock-ide-tabs-container-bg:var(--slate-dark80);--mock-ide-tabs-container-border:color-mix(in oklch,var(--slate-light20) 20%,transparent);--mock-ide-tabs-container-text:var(--white);--mock-ide-tab-bg-default:var(--slate-dark90);--mock-ide-tab-border-default:var(--slate-dark90);--mock-ide-tab-label-default:var(--slate-light20);--mock-ide-tab-close-button-default:var(--red-light20);--mock-ide-tab-bg-hover:var(--slate-dark60);--mock-ide-tab-border-hover:var(--slate-dark90);--mock-ide-tab-text-hover:var(--slate-light20);--mock-ide-tab-close-button-hover:var(--red);--mock-ide-tab-bg-active:var(--mock-ide-code-area-bg);--mock-ide-tab-border-active:var(--green-light10);--mock-ide-tab-text-active:var(--white);--mock-ide-code-area-bg:var(--slate-dark70);--mock-ide-code-area-border:var(--slate-dark80)}.theme-dark{--font-sans-serif:"Neue Haas Unica",sans-serif;--body-bg:var(--amber)}html{scroll-behavior:smooth}div[data-theme-provider]{min-height:100vh;display:flex;flex-direction:column;article{flex:1 1}}.choice-card{cursor:pointer}.choice-card.selected{background-color:var(--red-light70)}.font-parse{font-family:AF Parse Grotesk Mono,monospace}.font-struct{font-family:AF Struct Mono,monospace}.font-functor{font-family:AF Functor Mono,monospace}.font-operand{font-family:AF Operand Mono,monospace}.font-monad{font-family:AF Monad Mono,monospace}#cart-card{position:fixed;z-index:5000;height:48px;right:32px;border-radius:8px;padding:0 12px}@keyframes slide{0%{transform:translateX(-200%)}10%{transform:translateX(-200%)}20%{transform:translateX(200%)}to{transform:translateX(200%)}}.theme-switcher{width:48px;height:16px;border-radius:16px;cursor:pointer;border:1px solid var(--grey-light60);transition:transform .72s cubic-bezier(1,0,0,1);background:linear-gradient(90deg,hsla(0,100%,100%,1),hsla(0,100%,100%,1) 50%,hsla(0,100%,0%,1) 0,hsla(0,100%,0%,1))}.theme-switcher.is-dark{transform:rotate(180deg)}