Slight CSS and coding style changes