blob: 39b371be04b95cb72884bfb35f96a4c96296efee (
plain)
1
2
3
4
5
6
7
8
9
|
for (const elem of document.querySelectorAll("pre.playground")) {
if (elem.querySelector(".compile_fail") === null) {
continue;
}
const child = document.createElement("div");
child.className = "tooltip";
child.textContent = "ⓘ";
elem.appendChild(child);
}
|