“pinned header” is another name for Sticky header.