diff --git a/web_src/css/base.css b/web_src/css/base.css index 3df9cea3691..c7d84444fbd 100644 --- a/web_src/css/base.css +++ b/web_src/css/base.css @@ -2,6 +2,8 @@ /* fonts */ --fonts-proportional: -apple-system, "Segoe UI", system-ui, Roboto, "Helvetica Neue", Arial; --fonts-monospace: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace, var(--fonts-emoji); + /* Chromium's "math" is a font Linux and ChromeOS don't ship, so fall back to the math fonts they do, https://issues.chromium.org/issues/40069293 */ + --fonts-math: math, "STIX Two Math", "DejaVu Math TeX Gyre", "Noto Sans Math"; /* GitHub explicitly sets font names like: "Apple Color Emoji", "Segoe UI Emoji", "Noto Color Emoji", "Twemoji Mozilla"; Actually "Twemoji Mozilla" emoji font is widely used by browsers like Firefox, Pale Moon, and it is more likely up-to-dated than the system emoji font. So not setting emoji font seems to be the best choice, here we just use a non-existing dummy font name and let browsers choose. */ @@ -107,6 +109,11 @@ samp, font-size: 0.95em; /* compensate for monospace fonts being usually slightly larger */ } +math { + font-family: var(--fonts-math); + font-size-adjust: ex-height 0.52; /* match KaTeX's x-height (0.431 × 1.21em) regardless of math font, https://github.com/w3c/mathml-core/issues/41 */ +} + /* there are many blocks in non-markup(.markup code) / non-code-diff(code.code-inner) containers, for example: translation strings, etc, so we need to make have default global styles, ".markup code" has its own styles and these styles sometimes conflict. TODO: in the future, we should use `div` instead of `code` for `.code-inner` because it is a container for highlighted code line, then drop this ":not" patch */