Description
From @kvanderwijst at pandas-dev/pandas#28952 (comment)
Would it be possible to collapse the header to something much smaller (half the size?) when scrolling down? This leaves more room for the actual content, which is important for smaller screens ( = my laptop).
Vertical screen estate is certainly important!
There are several options how to deal with the top navbar:
- always keep it present
- shrink it when scrolling down / not at the top of the page
- hide it when scrolling down / not at the top of the page, and then it could show up again either only when at the top of the page, or when scrolling up ..
- ...