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

Migrate scraped-examples top and bottom "borders" to CSS variables #107152

Merged
merged 2 commits into from
Jan 22, 2023

Conversation

GuillaumeGomez
Copy link
Member

@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 Jan 21, 2023
@rustbot
Copy link
Collaborator

rustbot commented Jan 21, 2023

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez, @Folyd, @jsha

A change occurred in the Ayu theme.

cc @Cldfire

@notriddle
Copy link
Contributor

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Jan 21, 2023

📌 Commit 372ad13 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 Jan 21, 2023
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jan 21, 2023
… r=notriddle

Migrate scraped-examples top and bottom "borders" to CSS variables

r? `@notriddle`
compiler-errors added a commit to compiler-errors/rust that referenced this pull request Jan 22, 2023
… r=notriddle

Migrate scraped-examples top and bottom "borders" to CSS variables

r? ``@notriddle``
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 22, 2023
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#107102 (Implement some more predicates in the new solver)
 - rust-lang#107111 (Fix missing arguments issues and copy-paste bug for fluent)
 - rust-lang#107114 (Add note about absolute paths to Path::join)
 - rust-lang#107127 (Enable sanitizers for s390x-linux)
 - rust-lang#107152 (Migrate scraped-examples top and bottom "borders" to CSS variables)
 - rust-lang#107170 (Add myself to .mailmap)
 - rust-lang#107174 (rustdoc: Use `DefId(Map,Set)` instead of `FxHash(Map,Set)`)
 - rust-lang#107180 (Remove unnecessary `&format!`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit d41a14f into rust-lang:master Jan 22, 2023
@rustbot rustbot added this to the 1.68.0 milestone Jan 22, 2023
@GuillaumeGomez GuillaumeGomez deleted the migrate-to-css-var branch January 22, 2023 16:39
Dylan-DPC added a commit to Dylan-DPC/rust that referenced this pull request Jan 23, 2023
…ent-selector, r=notriddle

rustdoc: Use correct pseudo-element selector

As explained [here](https://developer.mozilla.org/en-US/docs/Web/CSS/Pseudo-elements#syntax).

I wrote it on top of rust-lang#107152 so we'll need to wait for this one to be merged first.

r? `@notriddle`
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.

4 participants