fix files

moves-rwth · Oct 15, 2024 · 5007235 · 5007235
1 parent 8cfdb7d
commit 5007235
Show file tree

Hide file tree

Showing 2 changed files with 1,295 additions and 1,295 deletions.
diff --git a/docs/getting_started/lion.html b/docs/getting_started/lion.html
@@ -15,18 +15,18 @@
     &gt;&lt;/script&gt;
     &lt;style type=&quot;text/css&quot;&gt;
       #mynetwork {
-        
+
         width: 590px;
         height: 406px;
         border: 1px solid lightgray;
-        
+
       }
     &lt;/style&gt;
   &lt;/head&gt;
   &lt;body&gt;
     &lt;div id=&quot;mynetwork&quot;&gt;&lt;/div&gt;
     &lt;script type=&quot;text/javascript&quot;&gt;
-        
+
         var nodes = new vis.DataSet([{ id: 0, label: `init`, group: &quot;states&quot;, x: -218, y: 28 },
 { id: 1, label: `full :D`, group: &quot;states&quot;, x: -28, y: 57 },
 { id: 2, label: `satisfied :)`, group: &quot;states&quot;, x: -79, y: -14 },
@@ -295,4 +295,4 @@
 "
                 border:none !important;
                 allowfullscreen webkitallowfullscreen mozallowfullscreen
-          ></iframe>
+          ></iframe>