After changing to dark theme, the options should switch do dark theme, too: 
