fix: tweak header and pager in print view

[mrtoorich]

Fixes #227

[egoist]

the first page has a weird top padding.

[mrtoorich]

I removed the weird top padding by reducing the padding-top of .Main by --header-height.

[egoist]

hmm I think there should be no padding at all?

[mrtoorich]

Yes, using padding-top: 0 is better:

I will fix this.

[mrtoorich]

Done. The top padding is now completely removed.

[egoist]

welp maybe we can just unset position: fixed for header, it's weird if we don't show header at all 😅

[mrtoorich]

Good solution. 👍

[mrtoorich]

A little more discussion: should .header-nav hide or not?

[egoist]

it's fine to keep it I guess, as long as it doesn't break anything.

[mrtoorich]

I think .header-nav can be removed, because the header nav holds commonly used tools, e.g. search bar, help buttons, notice buttons, etc.

But I also agree with your thoughts.

I will keep it.

[egoist]

we do have a search bar, it should be hidden then

[egoist]

btw, do you actually print the PDF in papers or just need the PDF file? header nav will still be useful when you're viewing the PDF file.

[mrtoorich]

Both. When making PDFs, it looks nice. But when printing in papers, it used too much papers, because the margins and the line height are too large. It can be optimized, but my design sense is poor.

[mrtoorich]

Another non-topic discussion: when using projector, the text is too small to be seen. I often use command + + to increase the text size. 🤣

[egoist]

:tada: This PR is included in version 4.21.1 :tada:

The release is available on:

• npm package (@latest dist-tag)
• GitHub release

Your semantic-release bot :package::rocket: