mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-19 00:41:43 +00:00
3fddf71c47
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.