rustdoc: Use correct pseudo-element selector#107186

Merged

bors merged 3 commits intorust-lang:masterfrom

GuillaumeGomez:correct-pseudo-element-selector

Jan 23, 2023

Commits on Jan 21, 2023

Migrate scraped-examples top and bottom "borders" to CSS variables
GuillaumeGomez
committed
Extend rustdoc GUI test for scraped examples top and bottom "borders"
GuillaumeGomez
committed

Commits on Jan 22, 2023

Use correct pseudo-element selector
GuillaumeGomez
committed