.r-mono[data-v-0b708eea]{font-family:monospace;padding:1px}