RFR: 8266666: Implementation for snippets

[Hannes Wallnöfer]

On Fri, 23 Jul 2021 22:35:38 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> This PR implements JEP 413 "Code Snippets in Java API Documentation", which hasn't been yet proposed to target JDK 18. The PR starts as a squashed merge of the https://github.com/openjdk/jdk-sandbox/tree/jdk.javadoc/snippets branch.
>
> 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 {
        ...
    }

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

PR: https://git.openjdk.java.net/jdk/pull/4795