.mono[data-astro-cid-jot3z73f]{font-family:var(--sv-font-mono);font-size:.9375em;font-variation-settings:normal;word-break:break-word}.mono--dim[data-astro-cid-jot3z73f]{color:var(--sv-steel)}