Make Divi Theme Builder header sticky

gistfile1.txt

<script>
// When the user scrolls down 50px from the top of the document, resize the header's font size
window.onscroll = function() {scrollFunction()};
 
function scrollFunction() {
  if (document.body.scrollTop > 100 || document.documentElement.scrollTop > 100) {
    document.getElementById("myheader").style.position = "fixed";
  } else {
    document.getElementById("myheader").style.position = "";
  }
}
</script>
// tutorial @ https://www.divithemeexamples.com/make-your-divi-4-0-header-sticky-or-fixed-with-the-theme-builder/