Thanks! We are big users of TailwindCSS across the product and those colours are from their palette: https://tailwindcss.com/docs/customizing-colors