Skip to content

Improve search style #46502

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Dec 6, 2017
Merged

Conversation

GuillaumeGomez
Copy link
Member

@GuillaumeGomez GuillaumeGomez commented Dec 4, 2017

@QuietMisdreavus
Copy link
Member

Since this change takes out the addition from #46454, I'm going to ask @jdm to make sure the fix is still valid. It's still just a CSS change, but i have a personal rendering of it available for now as a convenience.

@jdm
Copy link
Contributor

jdm commented Dec 4, 2017

I cannot reproduce the original problem in your rendering.

@QuietMisdreavus
Copy link
Member

Excellent! Thanks again!

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 4, 2017

📌 Commit 611d0e6 has been approved by QuietMisdreavus

@kennytm kennytm added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Dec 5, 2017
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Dec 6, 2017
bors added a commit that referenced this pull request Dec 6, 2017
Rollup of 7 pull requests

- Successful merges: #46136, #46378, #46431, #46483, #46495, #46502, #46512
- Failed merges:
@bors bors merged commit 611d0e6 into rust-lang:master Dec 6, 2017
@GuillaumeGomez GuillaumeGomez deleted the improve-search-style branch December 6, 2017 18:28
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants