update niv

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

Hide file tree

Showing 6 changed files with 1,577 additions and 1,585 deletions.
diff --git a/docs/getting_started/lion.html b/docs/getting_started/lion.html
@@ -1,6 +1,6 @@
 
           <iframe
-                id="lionqHgPxrJMSg"
+                id="lionjhFLEWNNGi"
                 width="610"
                 height="426"
                 frameborder="0"
@@ -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>