-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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
Infra: Allow dismissing the historical note banner #3536
Labels
infra
Core infrastructure for building and rendering PEPs
Comments
hugovk
changed the title
Allow dismissing the historical note banner
Infra: Allow dismissing the historical note banner
Nov 16, 2023
Example link: https://peps.python.org/pep-0654/ Perhaps another option is for the banner not to be sticky when the width and/or height of the browser is less than a given amount. For example, it could never be sticky for mobile layouts. |
@hugovk can I grab this |
Feel free to submit a PR! |
JacobCoffee
added a commit
to JacobCoffee/peps
that referenced
this issue
Dec 1, 2023
JacobCoffee
added a commit
to JacobCoffee/peps
that referenced
this issue
Dec 1, 2023
hauntsaninja
pushed a commit
that referenced
this issue
Dec 3, 2023
Updates small media sizes to not have a sticky banner Adds a helper close button to optionally close banner Closes #3536
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
These notes take up more than a 1/3 of my screen and make it significantly harder to read the PEP. I can developer console it out of existence on my laptop, but not on my phone.
The text was updated successfully, but these errors were encountered: