diff --git a/docs/css/base.css b/docs/css/base.css index 1ed2ed628..2fb6cb936 100644 --- a/docs/css/base.css +++ b/docs/css/base.css @@ -3,6 +3,14 @@ padding-right: 20px; } +.dropdown-menu{ + display:block; +} + +.dropdown:hover .dropdown-menu{ + display: block; +} + .btn { margin-bottom: 20px; } diff --git a/docs/css/pubs.css b/docs/css/pubs.css index 1ae2c3358..f853df2c3 100644 --- a/docs/css/pubs.css +++ b/docs/css/pubs.css @@ -1,6 +1,13 @@ .publications { padding-top: 0; } +.dropdown-menu{ + display:block; +} + +.dropdown:hover .dropdown-menu{ + display: block; +} .pub_year { padding-left: 15px; diff --git a/mkdocs/docs/css/pubs.css b/mkdocs/docs/css/pubs.css index 1ae2c3358..f853df2c3 100644 --- a/mkdocs/docs/css/pubs.css +++ b/mkdocs/docs/css/pubs.css @@ -1,6 +1,13 @@ .publications { padding-top: 0; } +.dropdown-menu{ + display:block; +} + +.dropdown:hover .dropdown-menu{ + display: block; +} .pub_year { padding-left: 15px; diff --git a/mkdocs/theme/css/base.css b/mkdocs/theme/css/base.css index 1ed2ed628..fbc7f23a3 100644 --- a/mkdocs/theme/css/base.css +++ b/mkdocs/theme/css/base.css @@ -7,6 +7,14 @@ margin-bottom: 20px; } +.dropdown-menu{ + display:block; +} + +.dropdown:hover .dropdown-menu{ + display: block; +} + pre { background-color: #e9edf2 !important; margin-top: 4px;