A few CSS improvements