|
|
@ -18,7 +18,9 @@
|
|
|
|
let show_contents = false;
|
|
|
|
let show_contents = false;
|
|
|
|
|
|
|
|
|
|
|
|
onMount(() => {
|
|
|
|
onMount(() => {
|
|
|
|
const anchors = container.querySelectorAll('[id]');
|
|
|
|
// don't update `active_section` for headings below level 3, see _sections.js
|
|
|
|
|
|
|
|
const anchors = container.querySelectorAll('[id]:not([data-level="4"])');
|
|
|
|
|
|
|
|
|
|
|
|
let positions;
|
|
|
|
let positions;
|
|
|
|
|
|
|
|
|
|
|
|
const onresize = () => {
|
|
|
|
const onresize = () => {
|
|
|
@ -372,4 +374,4 @@
|
|
|
|
<button on:click="{() => show_contents = !show_contents}">
|
|
|
|
<button on:click="{() => show_contents = !show_contents}">
|
|
|
|
<Icon name="{show_contents? 'close' : 'menu'}"/>
|
|
|
|
<Icon name="{show_contents? 'close' : 'menu'}"/>
|
|
|
|
</button>
|
|
|
|
</button>
|
|
|
|
</aside>
|
|
|
|
</aside>
|
|
|
|