Lars Eggert 75bb797d9e fix: Fix floorplan (#4160) ... * fix: Fix the floorplan location highlighter * Revert erroneous commit		2022-07-06 14:18:44 -05:00
..
css	fix: Various accumulated fixes (#4106)	2022-06-21 13:00:41 -05:00
images	feat: Switch to SVG logo; use it (and new bitmaps) in more places (#4035)	2022-05-31 17:03:43 -05:00
js	fix: Fix floorplan (#4160)	2022-07-06 14:18:44 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00