Re: Dark mode for generated JavaDoc pages

2020-09-14 Thread Jonathan Gibbons
Hi, It's not an unreasonable suggestion; I have filed https://bugs.openjdk.java.net/browse/JDK-8253137 to track it. That being said, there's two possibilities here: 1. A custom stylesheet to be used for a specific project's API. There are command line options for javadoc to allow the default

Dark mode for generated JavaDoc pages

2020-09-14 Thread Nir Lisker
Hi, Dark mode has become very popular in the past few years. However, the html pages use a pure white background that is uncomfortable to read. Will it be possible to add an option for dark mode? I believe it only requires a new css file, and a cookie so that the browser remembers the local settin