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

rustdoc: fix border-radius and sizing of help and settings icons #93060

Closed
jsha opened this issue Jan 19, 2022 · 1 comment · Fixed by #93113
Closed

rustdoc: fix border-radius and sizing of help and settings icons #93060

jsha opened this issue Jan 19, 2022 · 1 comment · Fixed by #93113
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@jsha
Copy link
Contributor

jsha commented Jan 19, 2022

Currently the help and settings icons next to the search box have a bit of a style mismatch with the search box itself:

image

They have a slightly larger border-radius, and their height is not the same as the search box. We should fix that. We may also want to slightly decrease the height of the search box so the button/icons don't have to get super big to match.

@jsha jsha added T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. A-rustdoc-ui Area: Rustdoc UI (generated HTML) labels Jan 19, 2022
@GuillaumeGomez
Copy link
Member

I'll check what I can do.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-rustdoc-ui Area: Rustdoc UI (generated HTML) T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants