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