diff --git a/docs/Makefile.am b/docs/Makefile.am
index 2a9d99071ca7a47d89e6e6d9bc197b2f676651a0..29b0761a2beffb4c73fe383cbd9a9e011618c625 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -56,6 +56,7 @@ css = \
main.css
javascript = \
+ js/main.js \
js/jquery-3.1.1.min.js \
js/jquery.rss.min.js \
js/moment.min.js
diff --git a/docs/js/main.js b/docs/js/main.js
new file mode 100644
index 0000000000000000000000000000000000000000..723e2fb16d89dd609ab65722a0a6225783fab4f6
--- /dev/null
+++ b/docs/js/main.js
@@ -0,0 +1,25 @@
+function pageload() {
+ window.addEventListener('scroll', function(e){
+ var distanceY = window.pageYOffset || document.documentElement.scrollTop
+ var shrinkOn = 94
+ home = document.getElementById("home");
+ links = document.getElementById("jumplinks");
+ search = document.getElementById("search");
+ body = document.getElementById("body");
+ if (distanceY > shrinkOn) {
+ if (home.className != "navhide") {
+ body.className = "navhide"
+ home.className = "navhide"
+ links.className = "navhide"
+ search.className = "navhide"
+ }
+ } else {
+ if (home.className == "navhide") {
+ body.className = ""
+ home.className = ""
+ links.className = ""
+ search.className = ""
+ }
+ }
+ });
+}
diff --git a/docs/page.xsl b/docs/page.xsl
index beb864f26b8709b9649bcac11eecefe020e61c0f..136f3106e482b942212d5e7b8db975797606a92a 100644
--- a/docs/page.xsl
+++ b/docs/page.xsl
@@ -99,40 +99,11 @@