On Fri, 23 Jul 2021 22:35:38 GMT, Jonathan Gibbons <j...@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
