user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix scroll offset when jumping to internal id

Browse source
This commit is contained in:
Jacob Hoffman-Andrews 2022-01-18 22:05:17 -08:00
parent e5e2b0be26
commit 801ac0e24f
2 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/librustdoc/html/static/css/rustdoc.css
View file

@ -1738,12 +1738,19 @@ details.rustdoc-toggle[open] > summary.hideme::after {
}
@media (max-width: 700px) {
/* When linking to an item with an `id` (for instance, by clicking a link in the sidebar,
or visiting a URL with a fragment like `#method.new`, we don't want the item to be obscured
by the topbar. Anything with an `id` gets scroll-margin-top equal to .mobile-topbar's size.
*/
*[id] {
scroll-margin-top: 45px;
}
.rustdoc {
padding-top: 0px;
/* Sidebar should overlay main content, rather than pushing main content to the right.
Turn off `display: flex` on the body element. */
display: block;
scroll-margin-top: 45px;
}
main {