Update themes-settings.html

Fix #8712 (part 1 of 2)