Fixed bug #12786: Wrong mouseover cursor at icon of docheader