adjust scroll padding

antoinem · antoinem · commit e21e405f6de9 · 2024-09-12T18:15:57.000+02:00
diff --git a/lib/rdoc/generator/template/rorvswild/css/rdoc.css b/lib/rdoc/generator/template/rorvswild/css/rdoc.css
@@ -40,7 +40,7 @@ html {
   font-weight: normal;
   font-size: 14px;
   font-optical-sizing: auto;
-  scroll-padding-top: calc(40px - 0.5em);
+  scroll-padding-top: calc(40px + 1em);
   scroll-behavior: smooth;
   font-feature-settings: 'liga' 1, 'calt' 1; /* fix for Chrome */
 }

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ html {`
`40`	`40`	`font-weight: normal;`
`41`	`41`	`font-size: 14px;`
`42`	`42`	`font-optical-sizing: auto;`
`43`		`- scroll-padding-top: calc(40px - 0.5em);`
	`43`	`+ scroll-padding-top: calc(40px + 1em);`
`44`	`44`	`scroll-behavior: smooth;`
`45`	`45`	`font-feature-settings: 'liga' 1, 'calt' 1; /* fix for Chrome */`
`46`	`46`	`}`