Skip to content

librustdoc: sharpen help dialogue edges #26882

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 1 commit into from
Jul 11, 2015
Merged

librustdoc: sharpen help dialogue edges #26882

merged 1 commit into from
Jul 11, 2015

Conversation

andreastt
Copy link
Contributor

Sharpens the help dialogues edges by removing border-padding, which
matches better with the rest of the document.

Also increases somewhat the rounded edges of the key symbols to
make it clear they are symbols.

Also introduces closing apostrophes and ellipsis for search field
placeholder.

@rust-highfive
Copy link
Contributor

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @steveklabnik (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. The way Github handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

@andreastt
Copy link
Contributor Author

See also #26881.

@andreastt andreastt changed the title rustdoc: sharpen help dialogue edges librustdoc: sharpen help dialogue edges Jul 8, 2015
Sharpens the help dialogues edges by removing border-padding, which
matches better with the rest of the document.

Also increases somewhat the rounded edges of the key symbols to
make it clear they are symbols.

Also introduces closing apostrophes and ellipsis for search field
placeholder.
@alexcrichton
Copy link
Member

Could you post a screenshot of before/after?

@andreastt
Copy link
Contributor Author

@alexcrichton

Before:
Round edges

After:
Sharp edges

@alexcrichton
Copy link
Member

@bors: r+ 885e701

Sure!

bors added a commit that referenced this pull request Jul 11, 2015
Sharpens the help dialogues edges by removing border-padding, which
matches better with the rest of the document.

Also increases somewhat the rounded edges of the key symbols to
make it clear they are symbols.

Also introduces closing apostrophes and ellipsis for search field
placeholder.
@bors
Copy link
Collaborator

bors commented Jul 11, 2015

⌛ Testing commit 885e701 with merge b8bb908...

@bors bors merged commit 885e701 into rust-lang:master Jul 11, 2015
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.

5 participants