/* Additional theme configuration; original palette is retained. */
