[themes] Theme Settings (was: Custom Configuration Options . . .)