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. This pull request has now been integrated. Changeset: daab7b5c Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/daab7b5ceeb12222bda709e35699e620b98cb74d Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod 8357796: Stylesheet adjustments after JDK-8357452 Reviewed-by: rriggs ------------- PR: https://git.openjdk.org/jdk/pull/25454
