/* Auto-generated by themeGenerator.js — do not edit by hand. */
/* Overrides classic selectors that use a customizable brand color. */