docs: remove an unused extension of sphinx

[simgrid.git] / docs / source / Platform_Examples.rst

diff --git a/docs/source/Platform_Examples.rst b/docs/source/Platform_Examples.rst
index fcfb76f..c15fc54 100644 (file)
--- a/docs/source/Platform_Examples.rst
+++ b/docs/source/Platform_Examples.rst
@@ -1,6 +1,6 @@
 .. raw:: html
 
-   <object id="TOC" data="graphical-toc.svg" width="100%" type="image/svg+xml"></object>
+   <object id="TOC" data="graphical-toc.svg" type="image/svg+xml"></object>
    <script>
    window.onload=function() { // Wait for the SVG to be loaded before changing it
      var elem=document.querySelector("#TOC").contentDocument.getElementById("ExamplesBox")