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