“persistent header” is another name for Sticky header.