I initially posted this in the forum, but moving it in here instead:

Notice that this is regarding the Pushbutton version that ships with Drupal 6.x, but I could not find a version entry for that in this issue queue, although I found no separate issue queue in the drupal project. Is there one somewhere, or should we report D6 support issues here now?

In Firefox 3.x it works, but IE gives me an extra roughly 3px "border-top" right above the "#site-info".
I am trying to use a background image there, which needs to be aligned with the header-a and header-b images to the left and right of it (all part of one wide background image, split into 3 due to the nature of this theme.
However, the middle part is skewed (pushed) roughly 3 px down, with the same border color on top as the menu links border color, it seems. Trying to switch to a jpg instead of a png does not help, and the PNG-behave module does not affect this either.

Anyone have a clue how to work around this annoyance?
Seems to be related to a bug in IE?

(Ref. http://drupal.org/node/498312 )