Fixed table of contents highlighting for active anchor links

This commit is contained in:
squidfunk 2020-12-30 11:05:23 +01:00
parent 82b0ea8b0e
commit 45aff3cfc5
5 changed files with 7 additions and 7 deletions

View File

@ -1,6 +1,6 @@
{
"assets/javascripts/bundle.js": "assets/javascripts/bundle.6ced434e.min.js",
"assets/javascripts/bundle.js.map": "assets/javascripts/bundle.6ced434e.min.js.map",
"assets/javascripts/bundle.js": "assets/javascripts/bundle.15ed33ca.min.js",
"assets/javascripts/bundle.js.map": "assets/javascripts/bundle.15ed33ca.min.js.map",
"assets/javascripts/vendor.js": "assets/javascripts/vendor.08c56446.min.js",
"assets/javascripts/vendor.js.map": "assets/javascripts/vendor.08c56446.min.js.map",
"assets/javascripts/worker/search.js": "assets/javascripts/worker/search.8c7e0a7e.min.js",

View File

@ -185,7 +185,7 @@
</div>
{% block scripts %}
<script src="{{ 'assets/javascripts/vendor.08c56446.min.js' | url }}"></script>
<script src="{{ 'assets/javascripts/bundle.6ced434e.min.js' | url }}"></script>
<script src="{{ 'assets/javascripts/bundle.15ed33ca.min.js' | url }}"></script>
{%- set translations = {} -%}
{%- for key in [
"clipboard.copy",

View File

@ -101,7 +101,7 @@ export function watchAnchorList(
/* Compute necessary adjustment for header */
const adjust$ = header$
.pipe(
map(header => 18 + header.height)
map(header => 24 + header.height)
)
/* Compute partition of previous and next anchors */