diff options
| author | Mads Ohm Larsen <[email protected]> | 2024-10-17 12:10:31 +0200 |
|---|---|---|
| committer | git <[email protected]> | 2024-10-17 10:10:36 +0000 |
| commit | 1f0b54033242f35177800d9f82bebb16aa106aed (patch) | |
| tree | d01624e431e969d2317aae1efe4acecbd0aea45d /lib/rdoc/generator/template | |
| parent | 494d8146376028450cbd04efc42cb792753fede9 (diff) | |
[ruby/rdoc] Add scroll-margin-top on all :target elements
(https://github.com/ruby/rdoc/pull/1174)
https://github.com/ruby/rdoc/commit/7398e5b0ad
Co-authored-by: Stan Lo <[email protected]>
Diffstat (limited to 'lib/rdoc/generator/template')
| -rw-r--r-- | lib/rdoc/generator/template/darkfish/css/rdoc.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/rdoc/generator/template/darkfish/css/rdoc.css b/lib/rdoc/generator/template/darkfish/css/rdoc.css index 12212a341e..d525b0ef7d 100644 --- a/lib/rdoc/generator/template/darkfish/css/rdoc.css +++ b/lib/rdoc/generator/template/darkfish/css/rdoc.css @@ -85,6 +85,7 @@ h5:target, h6:target { margin-left: -10px; border-left: 10px solid var(--source-code-background-color); + scroll-margin-top: 1rem; } /* 4. Links */ |