Try to embed logos

2024-04-22 15:17:28 +02:00
parent 78d37c4405
commit 734b0ed39d
3 changed files with 103 additions and 68 deletions
--- a/logo.svg
+++ b/logo.svg
@@ -0,0 +1,19 @@
+<svg viewBox="0 0 600 300" width="600" height="300" xmlns="http://www.w3.org/2000/svg">
+  <foreignObject width="100%" height="100%">
+    <div xmlns="http://www.w3.org/1999/xhtml">
+    <style>
+      body {
+        margin: 0;
+        padding: 0;
+        background-color: white;
+      }
+      img {
+        height: 100vh;
+        width: 100vw;
+      }
+
+    </style>
+    <img src="/doc/docs/statics/klee.svg"/>
+    </div>
+  </foreignObject>
+</svg>