From a644e33cd0f672c4d463e2c08bb0042dd3dcbba2 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 14 Jul 2023 12:19:03 +0200
Subject: [PATCH] add missing svg

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 notebooks/manual/five_circles.svg | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 notebooks/manual/five_circles.svg

diff --git a/notebooks/manual/five_circles.svg b/notebooks/manual/five_circles.svg
new file mode 100644
index 0000000..f01aca5
--- /dev/null
+++ b/notebooks/manual/five_circles.svg
@@ -0,0 +1,19 @@
+<svg  xmlns="http://www.w3.org/2000/svg"
+      width="430.0" height="100" viewBox="0 0 430.0 100" >
+  <style>
+        .selected {
+            stroke : gray;
+            stroke-width: 2.0;
+            fill: coral
+        }
+        .normal {
+            stroke : none;
+            fill : burlywood
+        }
+  </style>
+ <circle id="circ1" class="normal" cx="80.0" cy="50" r="10"></circle>
+ <circle id="circ2" class="normal" cx="160.0" cy="50" r="10"></circle>
+ <circle id="circ3" class="selected" cx="240.0" cy="50" r="10"></circle>
+ <circle id="circ4" class="normal" cx="320.0" cy="50" r="10"></circle>
+ <circle id="circ5" class="normal" cx="400.0" cy="50" r="10"></circle>
+</svg>
\ No newline at end of file
-- 
GitLab