Update body-end.html

This commit is contained in:
Richard van der Hoff 2024-11-12 22:52:24 +00:00 committed by GitHub
parent 628efe7dab
commit 2916b81403
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -2,10 +2,8 @@
This template is included at the end of each page's `<body>`.
We're using it here to:
1) highlight and scroll the ToC in the sidebar to match the place we are at
in the document.
We're using it here to highlight and scroll the ToC in the sidebar to match
the place we are at in the document.
*/}}