ia.css: remove unused CSS from the repo stamp.