An extremely small fix with a big visual improvement (in my opinion): a one pixel border on the bottom of the ideheader widget. 😄