another small tweak before demo day to fix minor css problems