Minor cleanup in CSS and Javascript source