Definitely a window manager issue. On Windows 7, the space between the tab and the top edge is 18px, which is plenty thick.