RFR: 8357796: Stylesheet adjustments after JDK-8357452

Thu May 29 17:16:50 UTC 2025

On Mon, 26 May 2025 16:52:13 GMT, Hannes Wallnöfer <hannesw at 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.

Looks ok, it would be good to have another reviewer.

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

Marked as reviewed by rriggs (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/25454#pullrequestreview-2879029940