.font-mono[data-v-517d27ae]{font-family:monospace;font-size:1.1em;letter-spacing:1px}