[data-v-9f4286f0]:root{--ui-font-body: "IBM Plex Sans", sans-serif;--ui-font-mono: "JetBrains Mono", monospace}.font-body[data-v-9f4286f0]{font-family:var(--ui-font-body)}.font-mono[data-v-9f4286f0]{font-family:var(--ui-font-mono)}