On Mon, 26 May 2025 16:52:13 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Please review a simple stylesheet change to adjust for the removal of code > span highlights in [JDK-8357452](https://bugs.openjdk.org/browse/JDK-8357452). > > Both of the (subtle) changes undone in this PR were introduced with code span > highlights and are no longer needed. Thanks for the screenshots. I can see the difference, though I don't have a strong preference either way. If this is about reverting to an older format that everyone was happy with, I'm fully in favor of the change. ------------- PR Comment: https://git.openjdk.org/jdk/pull/25454#issuecomment-2931221749
