Exclude default fonts from generated Javadoc

Author: marcphilipp

documentation/documentation.gradle.kts

@@ -429,6 +429,7 @@ tasks {
 					"Platform" to listOf("org.junit.platform*")
 			)
 			addStringOption("-add-stylesheet", additionalStylesheetFile)
+			addBooleanOption("-no-fonts", true)
 			use(true)
 			noTimestamp(true)
 
@@ -481,6 +482,10 @@ tasks {
 					return@filter result
 				}
 			}
+			filesMatching("**/stylesheet.css") {
+				// Remove invalid import of `dejavu.css` due to `javadoc --no-fonts`
+				filter { line -> if (line.startsWith("@import url('fonts/")) null else line }
+			}
 		}
 		into(layout.buildDirectory.dir("docs/fixedJavadoc"))
 	}