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