FWIW, I just use this on my hackity hack dev instance:
pre code { font-size: var(--font-down-1); }
result