diff --git a/build.gradle b/build.gradle index 9dff5ed46a..3c438ce536 100644 --- a/build.gradle +++ b/build.gradle @@ -145,11 +145,13 @@ subprojects { options.encoding = 'UTF-8' } - // Enables UTF-8 support in Javadoc + // Enables UTF-8 support in Javadoc, disables 4 MB of fonts being added to every Javadoc JAR, add our styles tasks.withType(Javadoc) { options.addStringOption("charset", "utf-8") options.addStringOption("docencoding", "utf-8") options.addStringOption("encoding", "utf-8") + options.addBooleanOption("-no-fonts", true) + options.addStringOption("-add-stylesheet", "${rootDir}/docs/javadoc.css") } // Sign outputs with Developer ID diff --git a/docs/javadoc.css b/docs/javadoc.css new file mode 100644 index 0000000000..bd9a28500d --- /dev/null +++ b/docs/javadoc.css @@ -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); +}