/* Bernie brand overrides live in style.css. */