@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/plex-sans-400.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/plex-sans-500.woff2) format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/plex-sans-600.woff2) format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Sans;src:url(/static/fonts/plex-sans-700.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Mono;src:url(/static/fonts/plex-mono-400.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Mono;src:url(/static/fonts/plex-mono-500.woff2) format("woff2");font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Mono;src:url(/static/fonts/plex-mono-600.woff2) format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/static/fonts/source-serif-400.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/static/fonts/source-serif-600.woff2) format("woff2");font-weight:600;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/static/fonts/source-serif-italic-400.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}:root{--font-ui: "IBM Plex Sans", system-ui, -apple-system, sans-serif;--font-display: var(--font-ui);--font-mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, monospace;--font-serif: "Source Serif 4", Georgia, "Times New Roman", serif}