Integrated: 8342705: Add dark mode for docs

[Hannes Wallnöfer]

On Tue, 8 Jul 2025 13:22:20 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review an enhancement to add a dark theme to javadoc-generated API documentation. There is a new button in the top right corner that brings up a menu to switch between themes. Available options are "Light", "Dark", and "System Setting" (following the system-wide theme setting). The selected theme is stored and preserved across browser sessions.
> 
> Generated docs [can be viewed here](https://cr.openjdk.org/~hannesw/8342705/api.05/java.base/java/lang/package-summary.html) (iteration 5, module `java.base` only). 
> 
> Screenshots below show both themes and how to switch between them.
> 
> <img width="1217" height="658" alt="light-theme-2" src="https://github.com/user-attachments/assets/6f12dff4-b698-45f8-9b1c-14ab19a41664" />
> <img width="1216" height="654" alt="dark-theme-2" src="https://github.com/user-attachments/assets/ff0384ea-d098-4582-95fc-0e84a7c6ed78" />

This pull request has now been integrated.

Changeset: 0755477c
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/0755477c9a06cc773f307c7119efb97df797d23a
Stats:     735 lines in 19 files changed: 668 ins; 38 del; 29 mod

8342705: Add dark mode for docs

Reviewed-by: liach

-------------

PR: https://git.openjdk.org/jdk/pull/26185