archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-28 15:24:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8240971: Fix CSS styles in some doc comments

Browse source 
Reviewed-by: mchung
This commit is contained in:
Jonathan Gibbons 2020-03-12 13:56:55 -07:00
parent e30b89e138
commit 5bc78c438b
5 changed files with 13 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
View file

@ -282,6 +282,7 @@ main {
position:relative;
}
dl.notes > dt {
font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
font-size:12px;
font-weight:bold;
margin:10px 0 0 0;