AnonymousFox

//usr/share/doc/python-paramiko-1.7.5/docs/epydoc.js

function toggle(id) {
  elt = document.getElementById(id+"-toggle");
  if (elt.innerHTML == "-")
      collapse(id); 
  else
      expand(id);
  return false;
}

function highlight(id) {
  var elt = document.getElementById(id+"-def");
  if (elt) elt.className = "py-highlight-hdr";
  var elt = document.getElementById(id+"-expanded");
  if (elt) elt.className = "py-highlight";
  var elt = document.getElementById(id+"-collapsed");
  if (elt) elt.className = "py-highlight";
}

function num_lines(s) {
  var n = 1;
  var pos = s.indexOf("\n");
  while ( pos > 0) {
    n += 1;
    pos = s.indexOf("\n", pos+1);
  }
  return n;
}

// Collapse all blocks that mave more than `min_lines` lines.
function collapse_all(min_lines) {
 var elts = document.getElementsByTagName("div");
 for (var i=0; i<elts.length; i++) {
 var elt = elts[i];
 var split = elt.id.indexOf("-");
 if (split > 0)
 if (elt.id.substring(split, elt.id.length) == "-expanded")
 if (num_lines(elt.innerHTML) > min_lines)
 collapse(elt.id.substring(0, split));
 }
}

function doclink(id, name, targets_id) {
  var elt = document.getElementById(id);

// If we already opened the box, then destroy it.
  // (This case should never occur, but leave it in just in case.)
  if (elt.childNodes.length > 1) {
    elt.removeChild(elt.childNodes.item(0));
  }
  else {
    // The outer box: relative + inline positioning.
    var box1 = document.createElement("div");
    box1.style.position = "relative";
    box1.style.display = "inline";
    box1.style.top = 0;
    box1.style.left = 0;
  
    // A shadow for fun
    var shadow = document.createElement("div");
    shadow.style.position = "absolute";
    shadow.style.left = "-1.3em";
    shadow.style.top = "-1.3em";
    shadow.style.background = "#404040";
    
    // The inner box: absolute positioning.
    var box2 = document.createElement("div");
    box2.style.position = "relative";
    box2.style.border = "1px solid #a0a0a0";
    box2.style.left = "-.2em";
    box2.style.top = "-.2em";
    box2.style.background = "white";
    box2.style.padding = ".3em .4em .3em .4em";
    box2.style.fontStyle = "normal";
    box2.onmouseout=auto_kill_doclink;
    box2.parentID = id;

// Get the targets
 var targets_elt = document.getElementById(targets_id);
 var targets = targets_elt.getAttribute("targets");
 var links = "";
 target_list = targets.split(",");
 for (var i=0; i<target_list.length; i++) {
 var target = target_list[i].split("=");
 links += "<li><a href='" + target[1] + 
 "' style='text-decoration:none'>" +
 target[0] + "</a></li>";
 }
 
 // Put it all together.
 elt.insertBefore(box1, elt.childNodes.item(0));
 //box1.appendChild(box2);
 box1.appendChild(shadow);
 shadow.appendChild(box2);
 box2.innerHTML =
 "Which "+name+" do you want to see documentation for?" +
 "<ul style='margin-bottom: 0;'>" +
 links + 
 "<li><a href='#' style='text-decoration:none' " +
 "onclick='kill_doclink(\""+id+"\");return false;'>"+
 "None of the above</a></li></ul>";
 }
 return false;
}

function get_anchor() {
 var href = location.href;
 var start = href.indexOf("#")+1;
 if ((start != 0) && (start != href.length))
 return href.substring(start, href.length);
 }
function redirect_url(dottedName) {
 // Scan through each element of the "pages" list, and check
 // if "name" matches with any of them.
 for (var i=0; i<pages.length; i++) {

// Each page has the form "<pagename>-m" or "<pagename>-c";
 // extract the <pagename> portion & compare it to dottedName.
 var pagename = pages[i].substring(0, pages[i].length-2);
 if (pagename == dottedName.substring(0,pagename.length)) {

// We've found a page that matches `dottedName`;
                  // construct its URL, using leftover `dottedName`
                  // content to form an anchor.
                  var pagetype = pages[i].charAt(pages[i].length-1);
                  var url = pagename + ((pagetype=="m")?"-module.html":
                                                        "-class.html");
                  if (dottedName.length > pagename.length)
                      url += "#" + dottedName.substring(pagename.length+1,
                                                        dottedName.length);
                  return url;
              }
          }
      }