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