I agree, it is not optimal. What would be a better way to do this? Have the main navigation (currently on the left) at the top, and the per-page navigation on the side?
Do you want to take a stab at this? On Sun, Mar 8, 2015 at 7:08 PM, Hermann Gábor <reckone...@gmail.com> wrote: > Hey, > > Currently following an anchor link (e.g. #transformations > < > http://ci.apache.org/projects/flink/flink-docs-master/programming_guide.html#transformations > >) > results in the header occupying the top of the page, thus the title and > some of the first lines cannot be seen. This is not a big deal, but it's > user-facing and a bit irritating. > > Can someone fix it, please? > > (I tried it on Firefox and Chromium on Ubuntu 14.10) > > Cheers, > Gabor >
