The problem with using a sticky header is that we don't know how tall it needs to be.
This is a general problem with rustdoc that it doesn't use available horizontal space and instead reformats stuff vertically by default. Which leads to this problem and others. I don't get the current design decisions behind rustdoc. Did I miss some trend where people started coding on their smartphones?