The last CSS changes where generated from a local out-of-sync sass checkout. Bring it back by regenerating the CSS ...