Small fixes to CSS and JS