:root{--red:#e62b1e;--dark-red:#b30000;--background-color-2:#111;--gray:#282828;--light-gray:#828282;--red-filter:brightness(0) saturate(100%) invert(11%) sepia(91%) saturate(5515%) hue-rotate(358deg) brightness(113%) contrast(115%);--color-canvas-default:#fff;--color-canvas-subtle:#f6f8fa;--color-border-default:#d0d7de;--color-border-muted:#d8dee4}*{margin:0;padding:0;box-sizing:border-box}html{font-family:Lato,sans-serif;font-weight:300}a{color:var(--text-color);text-decoration:none}hr{margin:30px 0}code{margin-bottom:15px;padding:15px;overflow-x:auto}pre:has(>code){border-radius:15px}p span.katex{font-size:1em}@keyframes flash{0%{background-color:#f0f0f0}50%{background-color:#e0e0e0}to{background-color:#f0f0f0}}@font-face{font-family:Lato;font-style:normal;font-display:swap;font-weight:100;src:url(/_next/static/media/lato-latin-ext-100-normal.f6eb7397.woff2) format("woff2"),url(/_next/static/media/lato-latin-ext-100-normal.d083b1de.woff) format("woff");unicode-range:u+0100-02af,u+0304,u+0308,u+0329,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Lato;font-style:normal;font-display:swap;font-weight:100;src:url(/_next/static/media/lato-latin-100-normal.5a773cf2.woff2) format("woff2"),url(/_next/static/media/lato-latin-100-normal.153e1339.woff) format("woff");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+2074,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Lato;font-style:normal;font-display:swap;font-weight:300;src:url(/_next/static/media/lato-latin-ext-300-normal.abcc64a9.woff2) format("woff2"),url(/_next/static/media/lato-latin-ext-300-normal.4a1f1f49.woff) format("woff");unicode-range:u+0100-02af,u+0304,u+0308,u+0329,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Lato;font-style:normal;font-display:swap;font-weight:300;src:url(/_next/static/media/lato-latin-300-normal.c5195215.woff2) format("woff2"),url(/_next/static/media/lato-latin-300-normal.2010ada3.woff) format("woff");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+2074,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}