Using gruber-darker-theme again.