minor CSS and JS tweaks, in preparation for July 17th Demo