The dark theme added in JDK-8342705 uses duplicate CSS declarations to handle OS default settings. As it turns out, this can be avoided by using the window.matchMedia() function[1] to query the OS defaults to set the theme.

[1]: https://developer.mozilla.org/en-US/docs/Web/API/Window/matchMedia