/usr/share/gap/doc/changes/toggless.js is in gap-doc 4r6p5-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | /* toggless.js Frank Lübeck */
/* this file contains two functions:
mergeSideTOCHooks: this changes div.ContSect elements to the class
ContSectClosed and includes a hook to toggle between
ContSectClosed and ContSectOpen.
openclosetoc: this function does the toggling, the rest is done by
CSS
*/
closedTOCMarker = "▶ ";
openTOCMarker = "▼ ";
noTOCMarker = " ";
/* merge hooks into side toc for opening/closing subsections
with openclosetoc */
function mergeSideTOCHooks() {
var hlist = document.getElementsByTagName("div");
for (var i = 0; i < hlist.length; i++) {
if (hlist[i].className == "ContSect") {
var chlds = hlist[i].childNodes;
var el = document.createElement("span");
var oncl = document.createAttribute("class");
oncl.nodeValue = "toctoggle";
el.setAttributeNode(oncl);
var cont;
if (chlds.length > 2) {
var oncl = document.createAttribute("onclick");
oncl.nodeValue = "openclosetoc(event)";
el.setAttributeNode(oncl);
cont = document.createTextNode(closedTOCMarker);
} else {
cont = document.createTextNode(noTOCMarker);
}
el.appendChild(cont);
hlist[i].firstChild.insertBefore(el, hlist[i].firstChild.firstChild);
hlist[i].className = "ContSectClosed";
}
}
}
function openclosetoc (event) {
/* first two steps to make it work in most browsers */
var evt=window.event || event;
if (!evt.target)
evt.target=evt.srcElement;
var markClosed = document.createTextNode(closedTOCMarker);
var markOpen = document.createTextNode(openTOCMarker);
var par = evt.target.parentNode.parentNode;
if (par.className == "ContSectOpen") {
par.className = "ContSectClosed";
evt.target.replaceChild(markClosed, evt.target.firstChild);
}
else if (par.className == "ContSectClosed") {
par.className = "ContSectOpen";
evt.target.replaceChild(markOpen, evt.target.firstChild);
}
}
/* adjust jscontent which is called onload */
jscontentfuncs.push(mergeSideTOCHooks);
|