Hello,
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
Thank!
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
https://juliadocs.github.io/Documenter.jl/stable/lib/internals/writers/#Documenter.Writers.HTMLWriter
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!)
