.font-mono[data-v-f9185ad4]{font-family:var(--font-mono)}.ct-goto[data-v-f9185ad4]{display:inline-block;margin-top:.25rem;padding:.5rem .375rem;margin-left:-.375rem;margin-bottom:-.5rem;border-radius:.375rem}