Skip to content

Reduce right-side DOM size#100956

Merged
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:reduce-rightside-dom-size
Aug 26, 2022
Merged

Reduce right-side DOM size#100956
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:reduce-rightside-dom-size

Add color test for anchors in all themes

38eb33b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs