bug#5809: 23.1.94; cross-reference by anchor yields in accurate position

[Eli Zaretskii]

> From: Juri Linkov <juri@jurta.org>
> Cc: Eli Zaretskii <eliz@gnu.org>,  5809@debbugs.gnu.org
> Date: Fri, 02 Apr 2010 19:14:09 +0300
> 
> > That was my thought as well, but then you can't "click" on breadcrumbs
> > with the keyboard any more.
> 
> You can't click with the keyboard on the navigation up/next/prev links
> in the header line too.  I have not seen any complaints on that.
> 
> The header line has one advantage over links - it doesn't scroll
> and always stays on the top.

You can move the overlay upon scrolling to achieve the same effect.

The advantage of overlays is that you don't need any changes to the
display engine.