some javascript for modifying styles