+module ProfileDemos(){ ////toplevel
+ $sealingbox_sz = ts_box_sz;
+
+ SealingBox_WallProfile();
+ color("blue") SealingBox_FloorProfile();
+ SealingBox_LidProfile();
+ color("blue") SealingBox_CeilProfile();
+ color("red") translate([-5,0]) square([1,ts_totz_inner]);
+}
+
+module Box(){ ////toplevel
+ $sealingbox_sz = sb_box_sz;
+ rotate([90,0,0])
+ translate([-wallthick,-wallthick, -toty_inner])
+ SealingBox_RectBox();
+ color("blue")
+ cube([totx_inner, toty_inner, totz_inner]);