it seems we already have svg version (converted from sqlite370.eps), this is the one uploaded by a wikipedia user

original link

and I just test it by change the image url via devtools, it looks great!

The original GIF file is 5452 bytes, the original svg is 9886 bytes, but can be easily compressed to 5727 bytes, which I think is a negligible change...

However, svg may not supported in some ancient browsers, I suggest changing it to <picture><source srcset="banner.svg"><img src="banner_fallback.gif"> for max compatibility.

Are you viewing the original image at 100%, or viewing it zoomed in to 3000%?

Even if you had the highest resolution image in the world, once resized down to 220 x 101, it would appear the same as the current 220 x 101 image, no?

Looks blurry on my phone screen too, for what it's worth.

Display devices are just higher DPI these days. Unless one wishes the logo to be titchy tiny, it's gonna look out of place next to the text and other page elements if it's zoomed to a more normal size.

Having an svg would seem to be an elegant solution, and appropriate for a project affiliated with undertakings such as pikchr.

There's even been a good suggestion re backwards compatibility with clients that might not cope with an svg (if there seriously be any).

Having an svg would seem to be an elegant solution, and appropriate for a project affiliated with undertakings such as pikchr.

It "would be cool" if the logo were done in pikchr but it wouldn't look nearly as spiffy. Pikchr can't do the gradient part and the logo doesn't look nearly as nice without the gradient.

There's even been a good suggestion re backwards compatibility with clients that might not cope with an svg (if there seriously be any).

According to https://caniuse.com/?search=svg, some 98.46% of actively-used browsers support it. The only browsers which don't at least basically support SVG are MSIE < v9 and Android Browser < v3. We'd also need the "SVG in HTML img element" capability, which additionally rules out Safari 3.1, Firefox 2-3.6. i.e. (no pun intended): so what?

This change has been made in a branch in the docsrc repo, but whether this change will be applied is a decision for Richard to make.

I am viewing it at 100% and it is blurry.

Probably because the GIF is 72 pixels/inch, while my monitor is 218 pixels/inch.

Edit: to be more precise, my browser is set to 100% zoom.

It's not true, 100% in browser is not mean 1px = 1physical pixel, that’s why modern browsers support using the srcset¹ attribute in the img tag to set images of different resolutions for screens with different pixel densities².

1. ^{^} https://developer.mozilla.org/en-US/docs/Web/HTML/Element/img#srcset
2. ^{^} https://developer.mozilla.org/en-US/docs/Learn/HTML/Multimedia_and_embedding/Responsive_images#resolution_switching_same_size_different_resolutions

Seems to be fixed now!

So sharp! <3