Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-18 Thread Hannes Wallnöfer
On Thu, 11 Aug 2022 15:29:46 GMT, Hannes Wallnöfer wrote: > Please review a change to use CSS custom properties (aka variables) to define > the fonts and colors in generated documentation. It is now possible to change > the fonts and colors of generated API documentation by changing the values

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-18 Thread Hannes Wallnöfer
On Thu, 11 Aug 2022 15:29:46 GMT, Hannes Wallnöfer wrote: > Please review a change to use CSS custom properties (aka variables) to define > the fonts and colors in generated documentation. It is now possible to change > the fonts and colors of generated API documentation by changing the values

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Jonathan Gibbons
On Wed, 17 Aug 2022 11:38:18 GMT, Hannes Wallnöfer wrote: >> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css >> line 959: >> >>> 957: } >>> 958: div.page-search-info button#page-search-copy:hover { >>> 959: background-color: rgba(128, 128, 160, 0.

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Jonathan Gibbons
On Thu, 11 Aug 2022 15:29:46 GMT, Hannes Wallnöfer wrote: > Please review a change to use CSS custom properties (aka variables) to define > the fonts and colors in generated documentation. It is now possible to change > the fonts and colors of generated API documentation by changing the values

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Jonathan Gibbons
On Wed, 17 Aug 2022 11:49:41 GMT, Hannes Wallnöfer wrote: >> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/Head.java >> line 333: >> >>> 331: // The order of the addStylesheet(...) calls is important >>> 332: addStylesheet(head, >>> DocP

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Hannes Wallnöfer
On Tue, 16 Aug 2022 19:41:59 GMT, Jonathan Gibbons wrote: >> Please review a change to use CSS custom properties (aka variables) to >> define the fonts and colors in generated documentation. It is now possible >> to change the fonts and colors of generated API documentation by changing >> the

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Hannes Wallnöfer
On Tue, 16 Aug 2022 19:45:18 GMT, Jonathan Gibbons wrote: >> Please review a change to use CSS custom properties (aka variables) to >> define the fonts and colors in generated documentation. It is now possible >> to change the fonts and colors of generated API documentation by changing >> the

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-17 Thread Hannes Wallnöfer
On Tue, 16 Aug 2022 19:48:37 GMT, Jonathan Gibbons wrote: >> Please review a change to use CSS custom properties (aka variables) to >> define the fonts and colors in generated documentation. It is now possible >> to change the fonts and colors of generated API documentation by changing >> the

Re: RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-16 Thread Jonathan Gibbons
On Thu, 11 Aug 2022 15:29:46 GMT, Hannes Wallnöfer wrote: > Please review a change to use CSS custom properties (aka variables) to define > the fonts and colors in generated documentation. It is now possible to change > the fonts and colors of generated API documentation by changing the values

RFR: JDK-8289334: Use CSS variables to define fonts and colors

2022-08-11 Thread Hannes Wallnöfer
Please review a change to use CSS custom properties (aka variables) to define the fonts and colors in generated documentation. It is now possible to change the fonts and colors of generated API documentation by changing the values of these properties directly or by using extra stylesheet. [Docu