diff --git a/docs_theme/base.html b/docs_theme/base.html index 4ec726b0a..7374babde 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -172,10 +172,10 @@ diff --git a/docs_theme/css/default.css b/docs_theme/css/default.css index c3b9e0f16..fdb770071 100644 --- a/docs_theme/css/default.css +++ b/docs_theme/css/default.css @@ -5,11 +5,12 @@ pre { } .dropdown .dropdown-menu { - display: none; + display: none; + overflow-y: scroll; } .dropdown.open .dropdown-menu { - display: block; + display: block; } @media (max-width: 480px) {