Minor touchups in JS/CSS.