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.
7 lines
176 B
CSS
7 lines
176 B
CSS
: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);
|
|
}
|