/* No changes from ext-all.css */