2019-05-27 16:48:23 +02:00
|
|
|
<nav>
|
2019-01-24 23:30:31 +01:00
|
|
|
{{ partial "docs/brand" . }}
|
2019-07-15 18:25:21 +02:00
|
|
|
{{ partial "docs/search" . }}
|
2019-01-24 23:30:31 +01:00
|
|
|
{{ partial "docs/inject/menu-before" . }}
|
|
|
|
|
|
|
|
{{ if .Site.Params.BookMenuBundle }}
|
|
|
|
{{ partial "docs/menu-bundle" . }}
|
|
|
|
{{ else }}
|
|
|
|
{{ partial "docs/menu-filetree" . }}
|
|
|
|
{{ end }}
|
|
|
|
|
|
|
|
{{ partial "docs/inject/menu-after" . }}
|
2019-04-22 19:17:39 +02:00
|
|
|
</nav>
|
|
|
|
|
2019-07-15 18:25:21 +02:00
|
|
|
<!-- Restore menu position as soon as possible to avoid flickering -->
|
|
|
|
<script>
|
|
|
|
(function() {
|
|
|
|
var menu = document.querySelector("aside.book-menu nav");
|
|
|
|
addEventListener("beforeunload", function(event) {
|
|
|
|
localStorage.setItem("menu.scrollTop", menu.scrollTop);
|
|
|
|
});
|
|
|
|
menu.scrollTop = localStorage.getItem("menu.scrollTop");
|
|
|
|
})();
|
|
|
|
</script>
|