doc(add): Add more documentation about katenary file

2024-11-22 15:12:44 +01:00
parent 91fc0fd9f0
commit e925f58e82
14 changed files with 718 additions and 395 deletions
--- a/doc/docs/statics/main.css
+++ b/doc/docs/statics/main.css
@@ -106,3 +106,12 @@ h3[id*="katenaryio"] {
    z-index: 1;
  }
 }
+
+#klee {
+  filter: drop-shadow(0 0 16px var(--md-default-fg-color));
+  text-align: center;
+  padding: 1rem;
+}
+#klee svg {
+  zoom: 2;
+}