From 718be3040a3793be642a0eeedded0daecf2de0f8 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Fri, 30 Oct 2020 13:30:23 +0000
Subject: [PATCH] Deployed 179218d to latest with MkDocs 1.1.2 and mike 0.5.3

---
 latest/sitemap.xml.gz        | Bin 424 -> 424 bytes
 latest/stylesheets/extra.css |   4 +++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/latest/sitemap.xml.gz b/latest/sitemap.xml.gz
index 31e15680b9f9536cc71dc9c279803605aba38b3b..3eb4c61563d3993e1a0d32651a32f9481917e2c0 100644
GIT binary patch
delta 15
WcmZ3%yn>lczMF$1UvwkeB1Qlpt^@S|

delta 15
WcmZ3%yn>lczMF&NlE_B3MT`I<`vg}2

diff --git a/latest/stylesheets/extra.css b/latest/stylesheets/extra.css
index 7ec46cb545..6b6320a573 100644
--- a/latest/stylesheets/extra.css
+++ b/latest/stylesheets/extra.css
@@ -7,7 +7,9 @@
   --md-footer-bg-color:         #3d90ce;
 }
 
-
+.md-version__list {
+  overflow: auto;
+}
 
 ul.video-list {
   counter-reset: section;