From 0a6b9514470044623fd32d9c5de294e53f98d724 Mon Sep 17 00:00:00 2001 From: scottb Date: Fri, 16 Mar 2018 21:35:41 -0700 Subject: [PATCH] Fixes anchors scrolling off the top of the screen during navigation. (#37548) --- docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 8fd2708bb3..3445b01482 100644 --- a/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css +++ b/docs/docsite/_themes/sphinx_rtd_theme/static/css/theme.css @@ -1686,11 +1686,11 @@ code.code-large,.rst-content tt.code-large{font-size:90%} .wy-nav-top a{color:#fff;font-weight:bold} .wy-nav-top img{margin-right:12px;height:45px;width:45px;background-color:#2980B9;padding:5px;border-radius:100%} .wy-nav-top i{font-size:30px;float:left;cursor:pointer;padding-top:inherit} -@media screen and (max-width: 768px){.wy-nav-content-wrap{margin-top: 30px;margin-left: 300px;width: 100%;float:left;background:#fcfcfc;min-height:100%} +@media screen and (max-width: 768px){.wy-nav-content-wrap{margin-top: 30px;margin-left: 300px;width: 100%;float:left;background:#fcfcfc;min-height:100%;position:fixed;} } @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;} .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}