.rich-title code[data-v-5d9017a8]{background:var(--c-default-soft);font-family:var(--font-mono);border-radius:4px;padding:0 .25em;font-size:.85em}