Logo
Explore Help
Register Sign In
Team2890/allwpilib
4
0
Fork 0
You've already forked allwpilib
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-07-04 03:11:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
62e0bc515cb66b6f140cbdd9518d4c56f9b568a6
allwpilib/docs/javadoc.css

7 lines
176 B
CSS
Raw Normal View History

[build] Remove Javadoc fonts (#8837) Javadoc now includes 4 MB of fonts for every Javadoc JAR, which we have 18 of, which causes unnecessary bloat to the installer size. This disables the inclusion of those fonts, using the built-in fallback included in the Javadoc stylesheet. This also increases the default font size by 10% after polling the FTC Discord resulted in people asking for a bigger font.
2026-04-29 17:57:31 -04:00
:root {
--body-font-size: calc(14.2px * 1.1);
--block-font-size: calc(14.4px * 1.1);
--code-font-size: calc(14px * 1.1);
--nav-font-size: calc(13.4px * 1.1);
}
Reference in New Issue Copy Permalink
Powered by Gitea Version: 1.25.5 Page: 32ms Template: 2ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API