#722: fix small CSS typo which caused highlight button to disapear (also remove useless classes)