Better header hover-out transition. See b36b9540d366c882a92a2b8a23270cb7a3b02343