lab1: buttons size up, due to IE