Fonts and font size css

When resizing and changing fonts via CSS, we may run into issues discussed here:


https://matklad.github.io/2025/07/16/font-size-adjust.html


In particular different fonts are different sizes, and it is common to use different fonts for math and text. We will need all of these different fonts to be "the same size"