Improve rustdoc design

If we don't change the color, we might want to make the item declarations more distinct by other means (stronger size difference, better spacing, etc).

CSS has scroll-padding-top to fix this issue (it's pretty well supported).

It's also possible to work around this by adding top padding to anchor targets.

2 Likes

TIL. Some things do slip by me, even though I try to keep up. Web is always interesting.

1 Like

That is great! The browser support could be better, but we can put it in a @supports(scroll-padding-top: 50px) {} block.

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.