[RFC] Panel height handling

Every major desktop environment allows users to change the panel's height. Fixes #6.