Bug 966308 - DevTools Themes - Make dark theme the default;r=robcee