clean up javascript and HTML/CSS a tiny bit