There is no margin in header buttons in 9.3, but it was fixed for %"9.4"