.font-mono[data-v-534aaf86]{font-family:var(--font-mono);font-size:.875rem}