Merge branch 'main' into gh-pages

argenos · argenos · commit 098da1b45a2b · 2025-01-16T14:02:56.000+01:00
diff --git a/floorplan/floorplan.json b/floorplan/floorplan.json
@@ -30,6 +30,14 @@
             "@container": "@list",
             "@type": "@id"
         },
+        "thickness": {
+            "@id": "floorplan:thickness",
+            "@type": "xsd:double"
+        },
+        "height": {
+            "@id": "floorplan:height",
+            "@type": "xsd:double"
+        },
         "Wall": "floorplan:Wall",
         "Feature": "floorplan:Feature",
         "Column": "floorplan:Column",
