window-list: Drop height override
gnome-shell's top bar got taller, and is now just 1px smaller than our size override. We don't need that additional pixel to fit our UI, so remove the override to make the sizes of both bars consistent.
Fixes #271 (closed)