.ref-principle[data-v-f72e8d0c] code{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.92em;background:var(--t-bg-muted);padding:1px 5px;border-radius:var(--t-radius-sm)}