Skip to content

Switch from position: fixed to sticky #1597

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jan 16, 2022
Merged

Switch from position: fixed to sticky #1597

merged 2 commits into from
Jan 16, 2022

Conversation

jsha
Copy link
Contributor

@jsha jsha commented Jan 16, 2022

This allows us to remove padding-top: $top-navbar-height !important on body.

Also, remove an obsolete workaround for older Chrome browsers to put scroll-padding-top on body rather than html.

Part of #1595

Tested locally with latest Chrome on Desktop in Dev Tools mobile mode, and latest Chrome on latest Android.

This allows us to remove `padding-top: $top-navbar-height !important` on
body.

Also, remove an obsolete workaround for older Chrome browsers to put
scroll-padding-top on `body` rather than `html`.
@syphar
Copy link
Member

syphar commented Jan 16, 2022

r? @Nemo157 @GuillaumeGomez

@syphar syphar added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jan 16, 2022
@GuillaumeGomez
Copy link
Member

Changes look good. I'll try it locally as soon as possible.

@syphar
Copy link
Member

syphar commented Jan 16, 2022

thanks @GuillaumeGomez

Please comment here when the local test is fine, then I'll merge/deploy

@GuillaumeGomez
Copy link
Member

Just checked locally and the footer is not where it should be (you can see it much better in the second image):

Screenshot from 2022-01-16 17-17-40

Screenshot from 2022-01-16 17-19-04

Normally, the footer should be stuck on the bottom of the page.

@syphar syphar added S-waiting-on-author Status: This PR is incomplete or needs to address review comments and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Jan 16, 2022
Copy link
Member

@syphar syphar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could you check the comment by @GuillaumeGomez

@jsha
Copy link
Contributor Author

jsha commented Jan 16, 2022

Fixed! Satisfyingly, the answer was additional simplification. :-)

@syphar syphar added S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed and removed S-waiting-on-author Status: This PR is incomplete or needs to address review comments labels Jan 16, 2022
@syphar syphar requested a review from GuillaumeGomez January 16, 2022 18:54
@GuillaumeGomez
Copy link
Member

This time it's all good, thanks!

@syphar syphar merged commit 90c5e08 into rust-lang:master Jan 16, 2022
@syphar syphar added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it labels Jan 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants