Merge branch 'main' into main

This commit is contained in:
end-4
2025-12-30 09:01:24 +01:00
committed by GitHub
322 changed files with 10726 additions and 2203 deletions
@@ -1,6 +1,6 @@
general {
col.active_border = rgba({{colors.outline.default.hex_stripped}}AA)
col.inactive_border = rgba({{colors.outline_variant.default.hex_stripped}}AA)
col.active_border = rgba({{colors.outline.default.hex_stripped}}77)
col.inactive_border = rgba({{colors.outline_variant.default.hex_stripped}}55)
}
misc {