.font-mono[data-v-f80a33d2]{font-family:var(--font-mono)}html[dir=rtl] .font-mono[data-v-f80a33d2]{letter-spacing:normal;font-family:inherit}html[dir=rtl] .font-mono[dir=ltr][data-v-f80a33d2]{font-family:var(--font-mono)}