Migrate `.stab` elements style to CSS variables#102620

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:css-stab-migration

Oct 3, 2022

Commits on Oct 3, 2022

Migrate stab elements style to CSS variables
GuillaumeGomez
committed