RFR: 8266666: Implementation for snippets [v5]

[Hannes Wallnöfer]

On Wed, 28 Jul 2021 14:40:55 GMT, Pavel Rappo <prappo 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.
>
> Pavel Rappo has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Change AnnotatedText<T> to StyledText
>    
>    Renames the class, removes its generic parameter, and changes the related terminology from "annotate" to "style".
>  - Restructure ...toolkit.taglets.snippet.** packages
>    
>    This commit moves the contents of the jdk.javadoc.internal.doclets.toolkit.taglets.snippet.{action,parser,text} packages into the jdk.javadoc.internal.doclets.toolkit.taglets.snippet package.

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css line 868:

> 866: 
> 867: pre.snippet {
> 868:     background-color: #e8e8e8;

I think the plain gray clashes a bit with the javadoc gray scale which has a hint of blue in it. Something like the value below works better within that scale. 
Suggestion:

    background-color: #ebecee;

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

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