1berry/openjdk
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

8357796: Stylesheet adjustments after JDK-8357452

Browse Source 
Reviewed-by: rriggs
This commit is contained in:
Hannes Wallnöfer 2025-06-02 15:27:14 +00:00
parent a4eb15195c
commit daab7b5cee
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/stylesheet.css
View File

@ -23,7 +23,7 @@
/* Base font sizes for body and code elements */
--body-font-size: 14.2px;
--block-font-size: 14.4px;
--code-font-size: 13.9px;
--code-font-size: 14px;
--nav-font-size: 13.4px;
/* Line height for continuous text blocks */
--block-line-height: 1.5;
@ -606,6 +606,7 @@ ul.tag-list li:not(:last-child):after,
ul.tag-list-long li:not(:last-child):after
{
content: ", ";
white-space: pre-wrap;
}
ul.preview-feature-list {
list-style: none;