3fe4cd31b9
Change name of dark overall theme from "Default" to "Dark" GitOrigin-RevId: 6928e4779c433e55525becfb5ba3f07a5b3847d3