We can move this to global `invenio.css`