Content deleted Content added
Sideswipe9th (talk | contribs) No edit summary |
Sideswipe9th (talk | contribs) No edit summary |
||
Line 41:
if (nav == null)
{
// it's not, ugh. Ok, get the elements with the class name mw-page-container-inner
var pageContainer = document.getElementsByClassName("mw-page-container-inner");
if (pageContainer.length > 0)
{
// create the nav that should be present but isn't
nav = document.createElement("NAV");
Line 57 ⟶ 55:
}
}
var newContainer = document.createElement("div"); // create a new div
newContainer.id = "vector-toc-pinned-container"; // give it the right id
newContainer.
nav.appendChild(newContainer); // and append it to the navbar
|