From 3554e2c2d9433f684bfd34e91b0a171ec482834e Mon Sep 17 00:00:00 2001 From: scottb Date: Fri, 23 Mar 2018 17:55:29 -0700 Subject: [PATCH] Fixes scrolling issue without breaking header nav (#37864) --- docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css b/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css index a0f40b407f2..67251630fe7 100644 --- a/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css +++ b/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css @@ -1690,7 +1690,7 @@ code.code-large,.rst-content tt.code-large{font-size:90%} } @media screen and (min-width: 768px){.wy-nav-content-wrap{margin-top: 30px;margin-left: 300px;width: calc(100% - 300px);float:left;background:#fcfcfc;min-height:100%} } -.wy-nav-content{padding:1.618em 3.236em;height:100%;margin:auto;overflow-x: hidden;overflow-y: scroll;} +.wy-nav-content{padding:1.618em 3.236em;height:100%;margin:auto;overflow-x: hidden;overflow-y: scroll;position: fixed;width: inherit} .wy-body-mask{position:fixed;width:100%;height:100%;background:rgba(0,0,0,0.2);display:none;z-index:499} .wy-body-mask.on{display:block} footer{color:gray}