infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-06-10 12:37:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

8383906: Target highlight in member details is too aggressive

Browse Source 
Reviewed-by: nbenalla
This commit is contained in:
Hannes Wallnöfer 2026-06-08 11:00:24 +00:00
parent 2d2d59dfcf
commit ef3c786d36
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -192,7 +192,7 @@ body {
width:100%;
}
main [id] {
scroll-margin-top: calc(var(--nav-height) + 6px);
scroll-margin-top: calc(var(--nav-height) + 14px);
}
div.main-grid {
max-width: var(--max-content-width);
@ -486,12 +486,7 @@ body.class-declaration-page .details h3 {
}
body.class-declaration-page section.detail:target > h3,
body.class-declaration-page section.detail > h3:target {
background-color: var(--navbar-background-color);
color: var(--navbar-text-color);
}
body.class-declaration-page section.detail:target > h3 > a.anchor-link > img,
body.class-declaration-page section.detail > h3:target > a.anchor-link > img {
filter: invert(100%) brightness(160%);
box-shadow: -4px 0 0 rgb(from var(--link-color) r g b / 0.7);
}
h1 > sup {
font-size: small;
@ -1786,6 +1781,9 @@ table.striped > tbody > tr > th {
main {
padding: 10px 12px;
}
main [id] {
scroll-margin-top: calc(var(--nav-height) + 10px);
}
body {
-webkit-text-size-adjust: none;
}