From 179218d672d326dfde78cfabb9d12f561fee90a1 Mon Sep 17 00:00:00 2001 From: Mario Sarcher Date: Fri, 30 Oct 2020 14:29:21 +0100 Subject: [PATCH] Add proper styles to docs versioning dropdown --- docs/stylesheets/extra.css | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 7ec46cb545..6b6320a573 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -7,7 +7,9 @@ --md-footer-bg-color: #3d90ce; } - +.md-version__list { + overflow: auto; +} ul.video-list { counter-reset: section;