The previous commit neglected to actually regenerate the css files of the theme, so it was ineffective.
Related: https://issues.redhat.com/browse/RHEL-22483