5 <object id="TOC" data="graphical-toc.svg" width="100%" type="image/svg+xml"></object>
7 window.onload=function() { // Wait for the SVG to be loaded before changing it
8 var elem=document.querySelector("#TOC").contentDocument.getElementById("PlatformBox")
9 elem.style="opacity:0.93999999;fill:#ff0000;fill-opacity:0.1;stroke:#000000;stroke-width:0.35277778;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1";
15 Describing your Virtual Platform
16 ================================