From cd2c17e8fd0a11c3975eca0f5b28406d12c98698 Mon Sep 17 00:00:00 2001
From: Anthony Ricaud <anthony@ricaud.me>
Date: Mon, 13 Feb 2023 15:39:14 +0000
Subject: [PATCH] Make the sidebar scrollable above 768px (#305)

Co-authored-by: Josep Martins <josepmartins@github.com>
---
 docs/_includes/sidebar.html | 4 ++--
 docs/custom.css             | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/_includes/sidebar.html b/docs/_includes/sidebar.html
index a0e35f76..f28c22c8 100644
--- a/docs/_includes/sidebar.html
+++ b/docs/_includes/sidebar.html
@@ -1,6 +1,6 @@
-<aside class="sidebar position-md-sticky px-4 col-lg-3 py-4 py-md-1 mb-4 mb-md-0 pb-1 bg-gray">
+<aside class="sidebar position-md-sticky overflow-y-auto px-4 col-lg-3 py-4 py-md-1 mb-4 mb-md-0 pb-1 bg-gray">
   <label class="d-flex mr-4 flex-items-center">
-    <span class="mr-4">Version</span> 
+    <span class="mr-4">Version</span>
     <select class="flex-1" onchange="window.location.href = this.value">
       <option value="{{ site.baseurl }}/guide/introduction" {% if page.version == 1 %} selected{% endif %}>v1.x.x</option>
       <option value="{{ site.baseurl }}/guide-v2/introduction" {% if page.version == 2 %} selected{% endif %}>v2.x.x</option>
diff --git a/docs/custom.css b/docs/custom.css
index 09dbaa1c..deaf44e7 100644
--- a/docs/custom.css
+++ b/docs/custom.css
@@ -84,7 +84,7 @@ a {
   min-width: var(--logo-width);
 }
 
-@media only screen and (max-device-width : 768px) {
+@media only screen and (max-width : 768px) {
   .main-header {
     height: auto;
     background: none;