docs: add new logo as favicon

[martinvonz]

Checklist

If applicable:

• I have updated CHANGELOG.md
• I have updated the documentation (README.md, docs/, demos/)
• I have updated the config schema (cli/src/config-schema.json)
• I have added tests to cover my changes

[ilyagr]

We can test this out. It will only affect the prerelease site.

To affect everything, we could try putting it as favicon.png in https://github.com/jj-vcs/jj-vcs.github.io. (We might have to experiment, I'm not sure whether it needs to be ICO or can be PNG). The comment about the size applies to that too.

[jennings]

I’ll get you a bigger PNG and SVG tomorrow, the file sent over Discord will probably be artifacty. I just need to make sure there’s no gross metadata in the files before I put them on the internet.

I think this is the favicon generator I’ve used in the past, I recall there being weird platform quirks about getting the high quality versions to show up everywhere. This may be overkill for the docs site though.

[jennings]

I don't trust Discord so I pushed a full size image here to a branch.

The SVG that Canva exports isn't really vector art, it just has the base64-encoded PNG inside it.

[martinvonz]

Thanks! I uploaded that image to the favicon generator you linked to. I added the same background color as we use elsewhere. Then I took the generated favicon.ico file and put in the repo. I hope that's what I was supposed to do. The GitHub UI doesn't render the favicon file but hopefully most browsers understand the format.

[jennings]

I think ico is deprecated for favicons, it’s there as a last resort. All modern browsers will use the higher quality PNG versions if the link tags exist for it.

Let me give it a try soon and post a suggested here?

I suppose it would be find to merge as is and improve it later.

[martinvonz]

Let me give it a try soon and post a suggested here?

Thanks. I'll wait.

[jennings]

Oh I see, MkDocs doesn't have a great way to add extra <link> elements to the page header without extending the theme, which we don't do yet.

The only change I would probably make, then, is to use the 96x96 PNG that the favicon generator spits out, instead of an ICO file. Comparing the quality:

[martinvonz]

Done

[martinvonz]

@ilyagr and @jennings, are you okay with the current version?