Patch patching (#5197)

* reduce time to scroll

* remove smooth scroll

* create new patch file

Author: jaffrepaul

patches/@docusaurus+core+2.4.0.patch

@@ -1,5 +1,5 @@
 diff --git a/node_modules/@docusaurus/core/lib/client/ClientLifecyclesDispatcher.js b/node_modules/@docusaurus/core/lib/client/ClientLifecyclesDispatcher.js
-index 062d7c1..ebb4a89 100644
+index 062d7c1..8c8f1ea 100644
 --- a/node_modules/@docusaurus/core/lib/client/ClientLifecyclesDispatcher.js
 +++ b/node_modules/@docusaurus/core/lib/client/ClientLifecyclesDispatcher.js
 @@ -16,7 +16,19 @@ export function dispatchLifecycleAction(lifecycleAction, ...args) {
@@ -18,7 +18,7 @@ index 062d7c1..ebb4a89 100644
 +        if(!isElementInView(element)) {
 +          element?.scrollIntoView({ behavior: 'instant'});
 +        }
-+      }, 1000)
++      }, 250)
 +      return; // no previous location so don't continue
      }
      const samePathname = location.pathname === previousLocation.pathname;
@@ -41,7 +41,7 @@ index 062d7c1..ebb4a89 100644
 +        if(!isElementInView(element)) {
 +          element?.scrollIntoView({ behavior: 'instant'});
 +        }         
-+      }, 1000)
++      }, 250)
      }
  }
  function ClientLifecyclesDispatcher({ children, location, previousLocation, }) {

src/css/custom.scss

@@ -138,10 +138,6 @@ html[data-theme='dark'] {
   --ifm-toc-border-color: var(--ifm-color-gray-900);
 }
 
-html {
-  scroll-behavior: smooth;
-}
-
 /* prevent fonts from looking chunky, esp in Firefox */
 body {
   -webkit-font-smoothing: antialiased;