Team2890/allwpilib
4
0
Fork 0
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-06-19 00:41:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

[build] Remove Javadoc fonts (#8837)

Browse Source 
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.
This commit is contained in:
Gold856
2026-04-29 17:57:31 -04:00
committed by GitHub
parent 668124e0fd
commit 3fddf71c47
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
docs/javadoc.css Normal file
View File

@@ -0,0 +1,6 @@
: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);
}