textarea[data-v-1dab063d],pre[data-v-1dab063d]{font-family:monospace}textarea[data-v-1dab063d]::placeholder{font-family:var(--default-font-family)}