RFR: JDK-8320458: Improve structural navigation in API documentation [v2]

[Hannes Wallnöfer]

On Wed, 10 Jan 2024 00:01:35 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Update src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
>>   
>>   Co-authored-by: Andrey Turbanov <turbanoff at gmail.com>
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css line 1373:
> 
>> 1371:         margin: 4px 0;
>> 1372:         border-radius: 2px;
>> 1373:         /* transition: all 0.1s; */
> 
> Should this line stay or be removed?

Will be removed.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/17062#discussion_r1448994874