Minor cleanup in the css