From 8abade1b3f2e9c3ec0c9396909294fe55ddab563 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Mon, 23 Mar 2020 19:51:03 +0000
Subject: [PATCH] Generate documentation

---
 1.1.html    | 1 +
 2.1.html    | 1 +
 master.html | 1 +
 3 files changed, 3 insertions(+)

diff --git a/1.1.html b/1.1.html
index 4cdda972..1d9664c3 100644
--- a/1.1.html
+++ b/1.1.html
@@ -85,6 +85,7 @@
 <script src="assets/navigation.js"></script>
 <script src="assets/document-branches.js"></script>
 <script src="assets/narrow-menu.js"></script>
+<script src="assets/navigation-scroll-fix.js"></script>
 <script>
     const documentBranch = "1.1";
     const documentBranches = ["1.1", "2.1", "master"];
diff --git a/2.1.html b/2.1.html
index de6beb9b..fae1270b 100644
--- a/2.1.html
+++ b/2.1.html
@@ -85,6 +85,7 @@
 <script src="assets/navigation.js"></script>
 <script src="assets/document-branches.js"></script>
 <script src="assets/narrow-menu.js"></script>
+<script src="assets/navigation-scroll-fix.js"></script>
 <script>
     const documentBranch = "2.1";
     const documentBranches = ["1.1", "2.1", "master"];
diff --git a/master.html b/master.html
index 2457d5c3..d12626de 100644
--- a/master.html
+++ b/master.html
@@ -85,6 +85,7 @@
 <script src="assets/navigation.js"></script>
 <script src="assets/document-branches.js"></script>
 <script src="assets/narrow-menu.js"></script>
+<script src="assets/navigation-scroll-fix.js"></script>
 <script>
     const documentBranch = "master";
     const documentBranches = ["1.1", "2.1", "master"];