Update redefinitions.css