RFR: 8348282: Add option for syntax highlighting in javadoc snippets [v4]

[Nizar Benalla]

On Wed, 9 Apr 2025 04:15:20 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> Please review a change to add a `javadoc` option to enable syntax highlighting for code fragments in snippets and  `<pre><code>` tags. The new `--syntax-highlight` option uses the [highlight.js] JavaScript library and supports Java, Properties, XML, HTML and JSON. The option is enabled in the JDK API docs target, [generated output is available here](https://cr.openjdk.org/~hannesw/8348282/api.00/index.html).
>
> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Adjust color palette

I see that the PR requires 2 reviewers, I'll take a look tomorrow. Thanks for the ping.

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

PR Comment: https://git.openjdk.org/jdk/pull/24417#issuecomment-2824874228