small JavaScript/CSS improvements