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

Fix search result bottom border color #103988

Merged
merged 2 commits into from
Nov 5, 2022

Conversation

GuillaumeGomez
Copy link
Member

It reverts a color change while keeping the improvement made in #103938.

I think it'll need to be backported once merged too.

r? @notriddle

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Nov 4, 2022
@rust-log-analyzer

This comment has been minimized.

@bors
Copy link
Contributor

bors commented Nov 5, 2022

☔ The latest upstream changes (presumably #103991) made this pull request unmergeable. Please resolve the merge conflicts.

@GuillaumeGomez GuillaumeGomez changed the title Fix bottom border color Fix search result bottom border color Nov 5, 2022
@GuillaumeGomez GuillaumeGomez marked this pull request as ready for review November 5, 2022 16:10
@rustbot
Copy link
Collaborator

rustbot commented Nov 5, 2022

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez, @Folyd, @jsha

A change occurred in the Ayu theme.

cc @Cldfire

@GuillaumeGomez
Copy link
Member Author

@bors r=notriddle rollup

@bors
Copy link
Contributor

bors commented Nov 5, 2022

📌 Commit 666873b has been approved by notriddle

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 5, 2022
bors added a commit to rust-lang-ci/rust that referenced this pull request Nov 5, 2022
…iaskrgr

Rollup of 5 pull requests

Successful merges:

 - rust-lang#101702 (rustdoc: add hash to filename of toolchain files)
 - rust-lang#103920 (Move browser opening logic in `Builder`)
 - rust-lang#103927 (Do not make typo suggestions when suggesting pattern matching)
 - rust-lang#103972 (Remove an option and choose a behaviour-preserving default instead.)
 - rust-lang#103988 (Fix search result bottom border color)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit e51e4a4 into rust-lang:master Nov 5, 2022
@rustbot rustbot added this to the 1.67.0 milestone Nov 5, 2022
@GuillaumeGomez GuillaumeGomez deleted the fix-bottom-border-color branch November 5, 2022 20:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants