:root{--font-sans:"Computer Modern Sans", "Computer Modern Concrete", ui-sans-serif, system-ui, sans-serif;--font-mono:"Monaco for Powerline", Monaco, "Fira Code", ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", "Courier New", monospace;--color-theorem:oklch(0.61 0.15 270);--color-lemma:oklch(0.61 0.15 230);--color-proposition:oklch(0.61 0.15 200);--color-corollary:oklch(0.61 0.15 150);--color-definition:oklch(0.61 0.15 180);--color-proof:oklch(0.61 0.15 120);--color-example:oklch(0.61 0.15 50);--color-remark:oklch(0.61 0.15 320)}@media(prefers-color-scheme:dark){:root{--color-theorem:oklch(0.67 0.15 270);--color-lemma:oklch(0.67 0.15 230);--color-proposition:oklch(0.67 0.15 200);--color-corollary:oklch(0.67 0.15 150);--color-definition:oklch(0.67 0.15 180);--color-proof:oklch(0.67 0.15 120);--color-example:oklch(0.67 0.15 50);--color-remark:oklch(0.67 0.15 320)}}body,.prose{font-family:var(--font-sans)}code,pre,kbd,samp{font-family:var(--font-mono)}