RFR: 8266666: Implementation for snippets [v4]

Tue Jul 27 19:17:35 UTC 2021

On Mon, 26 Jul 2021 15:25:03 GMT, Hannes Wallnöfer <hannesw at 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