Documentation top bar eats the anchor targets

When doing a direct link to an anchor in the documentation, it ends up hidden by the top bar.

Example: https://docs.softwareheritage.org/devel/swh-loader-pypi/apidoc/swh.loader.pypi.loader.html#swh.loader.pypi.loader.PyPILoader.CONFIG_BASE_FILENAME

---

Migrated from T1264 (view on Phabricator)

added Documentation priority:Low labels

mentioned in commit 3eae6028

closed

Thanks!

(BTW, it's incredible how many websites out there are plagued by this very same issue…)