Migrate Jump to def links background to CSS variable#105739

Merged

bors merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:migrate-jump-to-def-link-to-css-var

Dec 16, 2022

Commits on Dec 15, 2022

Migrate Jump to def links background to CSS variable
GuillaumeGomez
committed