Fix flicker when page loads

Author: Urgau

src/doc/rustc/theme/pagetoc.css

@@ -19,12 +19,6 @@
 }
 
 @mediaonly screen {
-main {
-display: -webkit-box;
-display: -ms-flexbox;
-display: flex;
- }
-
 @media (max-width:1179px) {
  .sidebar-hidden#sidetoc {
 display: none;
@@ -51,14 +45,8 @@
  }
  }
 
- .content-wrap {
-width:100%;
- }
-
 #sidetoc {
-margin-top:20px;
-margin-left:20px;
-margin-right: auto;
+margin-left:calc(100%+20px);
  }
 #pagetoc {
 position: fixed;

src/doc/rustc/theme/pagetoc.js

@@ -72,28 +72,18 @@ function updatePageToc(elem = undefined) {
 }
 
 if(document.getElementById("sidetoc")===null){
-// Element doesn't exist yet, let's create it
-constmain=document.querySelector('main');
-constwrapper=document.createElement('div');
-wrapper.className="content-wrap";
-
-// Move all children into the wrapper
-while(main.firstChild){
-wrapper.appendChild(main.firstChild);
-}
-
-// Append the wrapper back to main
-main.appendChild(wrapper);
+// The sidetoc element doesn't exist yet, let's create it
 
 // Create the empty sidetoc and pagetoc elements
 constsidetoc=document.createElement("div");
 constpagetoc=document.createElement("div");
 sidetoc.id="sidetoc";
 pagetoc.id="pagetoc";
-
-// And append them to the current DOM
 sidetoc.appendChild(pagetoc);
-main.appendChild(sidetoc);
+
+// And append them to the current DOM
+constmain=document.querySelector('main');
+main.insertBefore(sidetoc,main.firstChild);
 }
 
 if(document.getElementsByClassName("header").length<=1){