.font-mono[data-v-3674545c]{font-family:var(--font-mono)}html[dir=rtl] .font-mono[data-v-3674545c]{letter-spacing:normal;font-family:inherit}.source-ref[data-v-3674545c]{font-family:var(--font-mono);color:#1f9d74;vertical-align:super;margin-inline-start:.2em;font-size:10px;text-decoration:none}.source-ref[data-v-3674545c]:hover{text-decoration:underline}html.dark .source-ref[data-v-3674545c]{color:#37c58a}