Repository navigation
Clicking on ref link leads to wrong location #27
Description
Maybe "wrong location" is an exaggeration, but what I mean is that if you click on a link that says "Theorem 1" in Chrome, you are directed to the theorem body, while the header "Theorem 1" is not visible --- it's off the top of the screen.
Hence it's not clear that you have been directed to the right place unless you scroll up.
Activity
najuzilu commentedon Sep 2, 2020
Yes, I have noticed that as well. It's actually because of the main topbar which has a white background and it's almost the same height as the title div of the directive.
jstac commentedon Sep 2, 2020
Is there any way to fix it you can think of?
mmcky commentedon Sep 4, 2020
@najuzilu would it help to wrap the whole
theoremin anotherdivand set theid=targetto get link to the top of atheorem? @AakashGfude may be able to help on thehtmlside of things here.AakashGfude commentedon Sep 4, 2020
I think the easiest way might be to control the scroll behaviour using javascript and provide a bit of an offset to the location scrolled.
If @najuzilu is not working on this, I can give this one a shot.
najuzilu commentedon Sep 4, 2020
I have a working solution for same-file targets, but I need to account for targets leading to different locations. I decided to go with JS and animate the scroll. How does that sound @AakashGfude?
AakashGfude commentedon Sep 5, 2020
sounds good @najuzilu . I guess it will be a more generic solution.