Change default preferred-dark-theme to `navy`.#1199

Merged

ehuss merged 1 commit intorust-lang:masterfrom ehuss:preferred-dark-theme

Jun 8, 2020

+9-3

Commits on Jun 8, 2020

Change default preferred-dark-theme to navy.
ehuss
committed