/* Additional theme settings; original palette retained in archived styles. */