minor updates in CSS and HTML