From 2dd7d38e49ef92f08ee3d75a6a7e6e1ce696d050 Mon Sep 17 00:00:00 2001
From: Angelos Chalaris <chalarangelo@gmail.com>
Date: Sat, 7 Apr 2018 16:30:56 +0300
Subject: [PATCH] Fixed scrolling to top for beginner page

---
 docs/beginner.html                    | 4 ++--
 static-parts/beginner-page-start.html | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/beginner.html b/docs/beginner.html
index 1384f7d2e..7f7d25fb8 100644
--- a/docs/beginner.html
+++ b/docs/beginner.html
@@ -14,10 +14,10 @@
     <link rel="icon" type="image/png" href="favicon.png">
     <script>
       function scrollToTop(){
-        const c = document.querySelector('body').scrollTop;
+        const c = document.querySelector('html').scrollTop;
         if (c > 0) {
           window.requestAnimationFrame(scrollToTop);
-          document.querySelector('body').scrollTo(0, c - c / 4);
+          document.querySelector('html').scrollTo(0, c - c / 4);
         }
       };
       function scrollTo(element, to, id, duration) {
diff --git a/static-parts/beginner-page-start.html b/static-parts/beginner-page-start.html
index f2a219cd5..0fa5ae907 100644
--- a/static-parts/beginner-page-start.html
+++ b/static-parts/beginner-page-start.html
@@ -14,10 +14,10 @@
     <link rel="icon" type="image/png" href="favicon.png">
     <script>
       function scrollToTop(){
-        const c = document.querySelector('body').scrollTop;
+        const c = document.querySelector('html').scrollTop;
         if (c > 0) {
           window.requestAnimationFrame(scrollToTop);
-          document.querySelector('body').scrollTo(0, c - c / 4);
+          document.querySelector('html').scrollTo(0, c - c / 4);
         }
       };
       function scrollTo(element, to, id, duration) {