Equalize dimensions of workspace switcher popup boxes
This change equalizes the height and width of the active and inactive workspace boxes in the workpace switcher popup. Before, the inactive boxes were 2 px larger than the active box because the latter didn't have a border.
References #1243 (closed)