I do not know anything about how terminal colors work