.mono[data-v-1462dfde]{font-family:ui-monospace,monospace;font-size:.75rem}.err[data-v-1462dfde]{margin:.625rem 0;color:var(--vs-danger, #ef4444);font-size:.8125rem}