+
+ for (name of ["RoutingBox", "ProfileBox"]) {
+ var elem=document.querySelector("#TOC").contentDocument.getElementById(name)
+ elem.style="fill-opacity:0;opacity:0.93999999;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1";
+ }