Skip to content

Commit

Permalink
Rollup merge of rust-lang#48080 - GuillaumeGomez:mobile-docs-fixes, r…
Browse files Browse the repository at this point in the history
…=QuietMisdreavus

Hide theme button under menu in mobile mode and fix top margin issue …

Fixes rust-lang#48060.

r? @QuietMisdreavus
  • Loading branch information
kennytm authored Feb 10, 2018
2 parents 1e10ca0 + e9bcb4e commit a580eef
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 32 deletions.
37 changes: 6 additions & 31 deletions src/librustdoc/html/static/main.js
Original file line number Diff line number Diff line change
Expand Up @@ -123,25 +123,9 @@
sidebar.appendChild(div);
}
}
var themeChoices = document.getElementById("theme-choices");
if (themeChoices) {
if (!themesWidth) {
var savedState = themeChoices.style.display;
themeChoices.style.display = 'block';
themesWidth = themeChoices.offsetWidth + 'px';
themeChoices.style.display = savedState;
}
themeChoices.style.position = "fixed";
themeChoices.style.width = themesWidth;
themeChoices.style.top = '78px';
themeChoices.style.left = '250px';
}
document.getElementsByTagName("body")[0].style.marginTop = '45px';
var themePicker = document.getElementById("theme-picker");
if (themePicker) {
themePicker.style.position = "fixed";
themePicker.style.top = "50px";
themePicker.style.left = "250px";
var themePicker = document.getElementsByClassName("theme-picker");
if (themePicker && themePicker.length > 0) {
themePicker[0].style.display = "none";
}
}

Expand All @@ -157,18 +141,9 @@
filler.remove();
}
document.getElementsByTagName("body")[0].style.marginTop = '';
var themePicker = document.getElementById("theme-picker");
if (themePicker) {
themePicker.style.position = "absolute";
themePicker.style.top = null;
themePicker.style.left = null;
}
var themeChoices = document.getElementById("theme-choices");
if (themeChoices) {
themeChoices.style.position = 'absolute';
themeChoices.style.width = null;
themeChoices.style.top = null;
themeChoices.style.left = null;
var themePicker = document.getElementsByClassName("theme-picker");
if (themePicker && themePicker.length > 0) {
themePicker[0].style.display = null;
}
}

Expand Down
2 changes: 1 addition & 1 deletion src/librustdoc/html/static/rustdoc.css
Original file line number Diff line number Diff line change
Expand Up @@ -899,7 +899,7 @@ span.since {
}

#main {
margin-top: 50px;
margin-top: 45px;
padding: 0;
}

Expand Down

0 comments on commit a580eef

Please sign in to comment.