9d25581f3c
The current .png is presumably the wrong shape and looks flattened. Plus, mkdocs complained that 'site_favicon' was an unrecognised configuration name, so I used the method described in the docs instead: https://www.mkdocs.org/user-guide/customizing-your-theme/#using-the-theme_dir |
||
|---|---|---|
| .. | ||
| favicon.ico | ||