Simple Javascript library to pin and unpin website header