Fix a few things to do with CSS formatting