1function make_results_header_sticky( ) {
2  element = $(".results-header-actions");
3  var pos = element.position();
4  $(window).scroll( function() {
5    var windowPos = $(window).scrollTop();
6    if (windowPos > pos.top) {
7      element.addClass("sticky");
8    } else {
9      element.removeClass("sticky");
10    }
11  });
12}
13