Github user tillrohrmann commented on the pull request:
https://github.com/apache/flink/pull/1499#issuecomment-171714637
I think one problem with a fixed navigation on the side is what happens if
the number of entries is so huge that the whole navigation menu cannot be
displayed without scrolling. We had such a problem with the Stratosphere
documentation back in the days if I remember correctly.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
