Minor CSS/JS touchups