Skip to content
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

Website: Repositioned theme selector #3146

merged 3 commits into from Oct 19, 2021


Copy link

@RunDevelopment RunDevelopment commented Oct 10, 2021

This PR repositions the theme selector so it no longer overlaps with the rest of the page.

This has two parts:

  1. The theme selector is moved more to the right on large screens:


  1. The theme selector gets a new compact design on small screens:



Tested in Chrome, Firefox, and IE11.

This also reverts #1966 since it's no longer necessary.

This fixes #3110.

Copy link

@github-actions github-actions bot commented Oct 10, 2021

No JS Changes

Generated by 🚫 dangerJS against b48bc17

@RunDevelopment RunDevelopment merged commit ea361e5 into PrismJS:master Oct 19, 2021
11 checks passed
@RunDevelopment RunDevelopment deleted the themes-selector branch Oct 19, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

Successfully merging this pull request may close these issues.

1 participant