DavidLeoni/jupman

Add logo, favicon

Closed this issue · 0 comments

DavidLeoni commented

Note full favicon support is super complicated, so we just use basic 32x32 .ico support offered by sphinx with html_favicon