small changes

moves-rwth · Dec 22, 2024 · b441cd2 · b441cd2
2 parents ddd0342 + 70ea756
commit b441cd2
Show file tree

Hide file tree

Showing 36 changed files with 8,917 additions and 1,385 deletions.
diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css
@@ -0,0 +1,4 @@
+.vis-network {
+    width: 46em;
+    border: 1px solid lightgray;
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -32,3 +32,4 @@
 
 html_theme = "furo"
 html_static_path = ["_static"]
+html_css_files = ["css/custom.css"]
diff --git a/docs/getting_started/die.ipynb → docs/getting_started/00_die.ipynb b/docs/getting_started/die.ipynb → docs/getting_started/00_die.ipynb
@@ -39,7 +39,7 @@
             "text/html": [
               "\n",
               "          <iframe\n",
-              "                id=\"dietcXbFyTOJQ\"\n",
+              "                id=\"diezUizNokJOt\"\n",
               "                width=\"820\"\n",
               "                height=\"620\"\n",
               "                frameborder=\"0\"\n",
@@ -176,10 +176,14 @@
               "    &quot;fractions&quot;: true,\n",
               "    &quot;digits&quot;: 5\n",
               "  },\n",
-              "  &quot;results_and_rewards&quot;: {\n",
+              "  &quot;state_properties&quot;: {\n",
               "    &quot;show_results&quot;: true,\n",
-              "    &quot;resultSymbol&quot;: &quot;\\u2606&quot;,\n",
-              "    &quot;show_rewards&quot;: true\n",
+              "    &quot;result_symbol&quot;: &quot;\\u2606&quot;,\n",
+              "    &quot;show_rewards&quot;: true,\n",
+              "    &quot;reward_symbol&quot;: &quot;\\u20ac&quot;,\n",
+              "    &quot;show_zero_rewards&quot;: true,\n",
+              "    &quot;show_observations&quot;: true,\n",
+              "    &quot;observation_symbol&quot;: &quot;\\u0298&quot;\n",
               "  },\n",
               "  &quot;layout&quot;: {\n",
               "    &quot;randomSeed&quot;: 5\n",
@@ -291,7 +295,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 6,
+      "execution_count": 4,
       "metadata": {},
       "outputs": [
         {
@@ -329,7 +333,7 @@
       "name": "python",
       "nbconvert_exporter": "python",
       "pygments_lexer": "ipython3",
-      "version": "3.12.3"
+      "version": "3.12.6"
     },
     "widgets": {
       "application/vnd.jupyter.widget-state+json": {
Original file line number	Diff line number	Diff line change
Expand Up		@@ -32,3 +32,4 @@

		html_theme = "furo"
		html_static_path = ["_static"]
		html_css_files = ["css/custom.css"]