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