On Wed, 10 Jan 2024 00:01:35 GMT, Jonathan Gibbons <j...@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 <turban...@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