Navigation bar not set to sticky

[adfriz]

I have noticed that the navigation bar not set to sticky, I suggest change it to sticky for improving user experience and easier navigation.

ZDliwYxrTL.mp4

there's also additional suggestion for adding a button that fixed on the bottom right for easier jump to top instead scrolling manually.

[coppolaemilio]

This was decided to not be preferable back then: #406

I honestly did it out of habit, but not having it haven't bothered me really.

[Calinou]

there's also additional suggestion for adding a button that fixed on the bottom right for easier jump to top instead scrolling manually.

Like fixed navigation bars, this is also considered an antifeature nowadays as the keyboard's Home button achieves the same function in an universal manner. (On iOS, you can also tap the browser's title bar.)