Skip to content

Move theme dropdown out of HTML#16851

Open
GuillaumeGomez wants to merge 1 commit intorust-lang:masterfrom
GuillaumeGomez:reduce-html
Open

Move theme dropdown out of HTML#16851
GuillaumeGomez wants to merge 1 commit intorust-lang:masterfrom
GuillaumeGomez:reduce-html

Conversation

@GuillaumeGomez
Copy link
Copy Markdown
Member

I continue my serie of changes aiming to reduce HTML size. Since this button is hidden when JS is disabled, no point in keeping it in the HTML in the first place. The next PR will move filters into JS as well, which will allow to remove the js class we set.

r? @Alexendoo

changelog: none

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 14, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 14, 2026

Alexendoo is not on the review rotation at the moment.
They may take a while to respond.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants