Some minor css enhancements