minor updates to CSS and HTML