Update JavaDoc CSS for new layout

2024-05-06 22:46:36 +02:00 · 2024-05-06 22:46:36 +02:00 · ef58e1540a
parent f12bb8aa12
commit ef58e1540a
2 changed files with 747 additions and 637 deletions
--- a/gradle/javadoc.gradle
+++ b/gradle/javadoc.gradle
@ -34,7 +34,7 @@ tasks.named( "javadoc", Javadoc ) {
        use = true
        encoding = 'UTF-8'

-//        stylesheetFile = rootProject.file( "shared/javadoc/stylesheet.css" )
+        stylesheetFile = rootProject.file( "shared/javadoc/stylesheet.css" )
        bottom = "Copyright &copy; 2001-$currentYear <a href=\"https://redhat.com\">Red Hat, Inc.</a>  All Rights Reserved."

        // The javadoc folder contains cached versions of the respective element-list files to avoid release issues when servers are down
--- a/shared/javadoc/stylesheet.css
+++ b/shared/javadoc/stylesheet.css