.font-mono[data-v-327957b5]{font-family:var(--font-mono)}html[dir=rtl] .font-mono[data-v-327957b5]:not([dir=ltr],[dir=ltr] *){letter-spacing:normal;font-family:inherit}.source-ref[data-v-327957b5]{font-family:var(--font-mono);color:var(--leaf);vertical-align:super;margin-inline-start:.2em;font-size:10px;text-decoration:none}.source-ref[data-v-327957b5]:hover{text-decoration:underline}