This pull request extends the <img> elements for the logo on the index page and navigation bar to have a file for scale 2. I used the snippet below to generate the PNG files, it’s based on the one I used in Pharo pull request #16305. Note that the small logo had some padding which the newly generated file doesn’t have. The SVG file could perhaps also just be used directly in place of the PNG files. With Pharo 12 having better ‘Retina display’ support (see Pharo pull request #15647) it would in any case be nice for the website to have that too.
This pull request extends the
<img>
elements for the logo on the index page and navigation bar to have a file for scale 2. I used the snippet below to generate the PNG files, it’s based on the one I used in Pharo pull request #16305. Note that the small logo had some padding which the newly generated file doesn’t have. The SVG file could perhaps also just be used directly in place of the PNG files. With Pharo 12 having better ‘Retina display’ support (see Pharo pull request #15647) it would in any case be nice for the website to have that too.