Minor changes so everything can be merged in main#49
Merged
joachimvh merged 2 commits intofeat/simplify-cssfrom Apr 24, 2025
Merged
Minor changes so everything can be merged in main#49joachimvh merged 2 commits intofeat/simplify-cssfrom
joachimvh merged 2 commits intofeat/simplify-cssfrom