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
1.2 KiB
32x32px
1.2 KiB
32x32px
