diff options
| author | bors <bors@rust-lang.org> | 2017-12-21 13:34:09 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-12-21 13:34:09 +0000 |
| commit | eff3de0927c36e6483ccb8a35c3d2da6e063de0b (patch) | |
| tree | cee7a79c7aa3c865552efc2838844519e14d5101 /src/librustdoc/html | |
| parent | de38f49528b537414385d42a66dda711c8c8a309 (diff) | |
| parent | bdd3f5b240bac62e6e49c12313ebf9ebbc1dfea4 (diff) | |
| download | rust-eff3de0927c36e6483ccb8a35c3d2da6e063de0b.tar.gz rust-eff3de0927c36e6483ccb8a35c3d2da6e063de0b.zip | |
Auto merge of #46904 - GuillaumeGomez:rollup, r=GuillaumeGomez
Rollup of 5 pull requests - Successful merges: #46827, #46853, #46860, #46861, #46887 - Failed merges:
Diffstat (limited to 'src/librustdoc/html')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 26 | ||||
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 27 | ||||
| -rw-r--r-- | src/librustdoc/html/static/styles/main.css | 7 |
3 files changed, 50 insertions, 10 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index e6cf27b2008..559f8494fc3 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -109,24 +109,32 @@ function showSidebar() { var elems = document.getElementsByClassName("sidebar-elems")[0]; if (elems) { - elems.style.display = "block"; + addClass(elems, "show-it"); } var sidebar = document.getElementsByClassName('sidebar')[0]; - sidebar.style.position = 'fixed'; - sidebar.style.width = '100%'; - sidebar.style.marginLeft = '0'; + if (sidebar) { + addClass(sidebar, 'mobile'); + var filler = document.getElementById("sidebar-filler"); + if (!filler) { + var div = document.createElement("div"); + div.id = "sidebar-filler"; + sidebar.appendChild(div); + } + } document.getElementsByTagName("body")[0].style.marginTop = '45px'; } function hideSidebar() { var elems = document.getElementsByClassName("sidebar-elems")[0]; if (elems) { - elems.style.display = ""; + removeClass(elems, "show-it"); } var sidebar = document.getElementsByClassName('sidebar')[0]; - sidebar.style.position = ''; - sidebar.style.width = ''; - sidebar.style.marginLeft = ''; + removeClass(sidebar, 'mobile'); + var filler = document.getElementById("sidebar-filler"); + if (filler) { + filler.remove(); + } document.getElementsByTagName("body")[0].style.marginTop = ''; } @@ -1859,7 +1867,7 @@ if (sidebar_menu) { sidebar_menu.onclick = function() { var sidebar = document.getElementsByClassName('sidebar')[0]; - if (sidebar.style.position === "fixed") { + if (hasClass(sidebar, "mobile") === true) { hideSidebar(); } else { showSidebar(); diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index e620abea277..b41874a56b8 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1020,6 +1020,33 @@ h4 > .important-traits { #titles { height: 50px; } + + .sidebar.mobile { + position: fixed; + width: 100%; + margin-left: 0; + background-color: rgba(0,0,0,0); + height: 100%; + } + + .show-it { + display: block; + } + + /* Because of ios, we need to actually have a full height sidebar title so the + * actual sidebar can show up. But then we need to make it transparent so we don't + * hide content. The filler just allows to create the background for the sidebar + * title. But because of the absolute position, I had to lower the z-index. + */ + #sidebar-filler { + position: fixed; + left: 45px; + width: calc(100% - 45px); + top: 0; + height: 45px; + z-index: -1; + border-bottom: 1px solid; + } } diff --git a/src/librustdoc/html/static/styles/main.css b/src/librustdoc/html/static/styles/main.css index c31808cfc0f..c79413c0852 100644 --- a/src/librustdoc/html/static/styles/main.css +++ b/src/librustdoc/html/static/styles/main.css @@ -191,7 +191,7 @@ a.test-arrow { #help > div { background: #e9e9e9; - border-color: #bfbfbf;; + border-color: #bfbfbf; } #help dt { @@ -342,4 +342,9 @@ pre.ignore:hover, .information:hover + pre.ignore { background-color: #F1F1F1; border-right-color: #000; } + + #sidebar-filler { + background-color: #F1F1F1; + border-bottom-color: #e0e0e0; + } } |
