git: openjdk/jdk19: 8288671: Problematic fix for font boosting

Tue Jun 21 05:57:00 UTC 2022

Changeset: b9c39662
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2022-06-21 05:56:20 +0000
URL:       https://git.openjdk.org/jdk19/commit/b9c396625cc3fcddb89f93255f85f73a931acc34

8288671: Problematic fix for font boosting

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css