.public-type .font-mono,.public-type .type-numeral-hero,.public-type .type-overline-mono{font-family:var(--font-num),"JetBrains Mono","SF Mono",ui-monospace,Consolas,monospace}