fixed icon size issue for workspace menu (part of #142)