Hey,
On Saturday, July 16th, 2022 at 19:05, Tobias Geerinckx-Rice <me@tobias.gr> wrote:
Toggle quote (9 lines)
> Luis Felipe via Guix-patches via ???
>
> > Hello, this is a new badge to help increase visibility of Guix
> > through source management services.
>
> Wonderful, thanks! Pushed as e53033ebdff0308eff0830760a70497527b10443.
Toggle quote (2 lines)
> (Why ‘about the same size’? Is there no single standard?)
I don't know if there is. It seems to me that these badges are 20 px height, but I actually didn't measure badges from different services.
Also, the badge in the patch has a very thin border to prevent the dark left side to camouflage in dark backgrounds. The border makes it higher than 20 px.
I designed the badge over a screenshot of GitLab badges, though, and I think it looks ok. But I'll check again and hammer it down if necessary :)