Reduces the page header height and unfixed.
As of 2020-11-23. See the latest version.
These are versions of this script where the code was updated. Show all versions.