Bryan Richter
|
9d25581f3c
|
Use favicon from gitlab.haskell.org
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
|
2023-02-17 12:55:27 +02:00 |