On Mon, 26 Jul 2021 15:25:03 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
>> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
>> line 881:
>>
>>> 879: .bold {
>>> 880: font-weight: bold;
>>> 881: }
>>
>> Both the name and definition seem very global. Maybe it would be better to
>> restrict the effect of these names to within `pre.snippet`. @hns to advise?
>
> I would also limit these to within `pre.snippet`, i.e:
>
> pre.snippet .italic {
> ...
> }
In commit 34b274c, I changed the CSS as suggested.
-------------
PR: https://git.openjdk.java.net/jdk/pull/4795
