Add logo in documentation using Documenter



I searched through the documentation of Documenter.jl and I can’t find an easy (or any way in fact) to add my logo in the top corner of the documentation.

Right now, my doc look like this

But I want to put a logo like we see on the top left corner here



You just add it to docs/src/assets/logo.png. Ironically, I am not sure that’s documented, I just know that’s what I did:


Works fine!


Entering “logo” into the search box of the Documenter documentation brings up


That’s quite buried. I think I found out how it was done just by looking at the generated HTML and finding out where the logo was stored, and just trying it. It should probably get a subheader just for explaining it… (at least the search works well now!)