search

eclipse-edc / docs

EDC documentation
Apache License 2.0
3 stars 12 forks source link

chore: fix anchor scroll #160

Closed wolf4ood closed 4 months ago

wolf4ood commented 4 months ago

What this PR changes/adds

Fixes the anchor jump which is not currently working

ndr-brt commented 4 months ago

whops, sorry, I was meant to approve but I merged! anyway, it was approved! :smiling_face_with_tear: