Edit CSS to work around inconsistent HTML encoding, redux