Minor modifications to CSS and other fixes