Anchor links on header are no more visible
cderv opened this issue · comments
Christophe Dervieux commented
The anchor that were added quite recently (#50) are placed on the left but no more shown now
Maybe because there is less room on the left than before (I remember previous version of MANUAL was centered so more room on the left).
Probably some CSS tweaks to do, or place the anchor link on the right after header instead ?
John MacFarlane commented
See my comment on the other issue.
You are probably using old cached CSS.
Christophe Dervieux commented
yes that was it. Now I know how to really hard reload a page. Sorry for the noise.