Added a hack for the assets-dita CSS.