github.com/ddev/ddev@v1.23.2-0.20240519125000-d824ffe36ff3/docs/content/assets/extra.js (about)

     1  document.addEventListener("DOMContentLoaded", function() {
     2    load_navpane();
     3  });
     4  
     5  function load_navpane() {
     6    var width = window.innerWidth;
     7    if (width <= 1200) {
     8        return;
     9    }
    10  
    11    var nav = document.getElementsByClassName("md-nav");
    12    for(var i = 0; i < nav.length; i++) {
    13        if (typeof nav.item(i).style === "undefined") {
    14            continue;
    15        }
    16  
    17        if (nav.item(i).getAttribute("data-md-level") && nav.item(i).getAttribute("data-md-component")) {
    18            nav.item(i).style.display = 'block';
    19            nav.item(i).style.overflow = 'visible';
    20        }
    21    }
    22  
    23    var nav = document.getElementsByClassName("md-nav__toggle");
    24    for(var i = 0; i < nav.length; i++) {
    25       nav.item(i).checked = true;
    26    }
    27  }