On 14 Jul 2014, at 20:12, Robert Metzger <[email protected]> wrote:
> The two websites are basically using the same technologies behind the > scenes. Having the main navigation always on top is very easy to implement. > If others feel the same, its very easy to change the behavior. +1 > Regarding the navigation in the documentation: We changed some details here > because we are now maintaining the documentation within the source code and > grab it from there for publishing it in the web. Since we are doing this > automatically, its difficult to have a sophisticated layout there. > Lets see if Ufuk (he knows the stuff very well) has an idea for a trade-off. We can definitely highlight the current page on the left. If that is the question: +1 If the problem is the sub navigation: we realized at some point that the table of contents per page (the subnavigation, which is also highlighted) does not work so well with large doc pages like the Java API and therefore moved it to the top of body, where it does not make so much sense to highlight.
