Add settings to rustdoc to use the system theme#77809

Merged

bors merged 4 commits intorust-lang:masterfrom

nasso:master

Oct 16, 2020

Commits on Oct 13, 2020

Commits on Oct 15, 2020

Set preferred-dark-theme to the last dark theme
nasso
committed