Added to the Customizing Tildes wiki page.

Alternatively, if you have a css injector, this should work as well:

#site-header {
  position: sticky;
  top: 0;
  padding: .5em!important;
  z-index: 5;
}