Add logo in documentation using Documenter


#1

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!


#2

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:


#3

Works fine!


#4

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


#5

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!)