+semigroupoids doc hscolour profile
