/*
 * PUBLISHED by /mgntcp/theme-editor (app/services/platform_service/theme_publish.py).
 * Written over on every save: change a theme there, not here.
 *
 * Each selector names the attribute twice, so it outranks the built theme of the same id
 * in brand-themes.css whichever stylesheet the page loads last.
 */