5 commits

Author	SHA1	Message	Date
Anthony Wang	ce580d0833	Use webp instead of jpg	2021-07-27 21:43:06 -05:00
ImgBotApp	8b54bc3501	[ImgBot] Optimize images ... /fun/dodecahedra/render-small.gif -- 1,950.08kb -> 1,917.70kb (1.66%) Signed-off-by: ImgBotApp <ImgBotHelp@gmail.com>	2021-07-12 20:06:28 +00:00
Anthony Wang	ff8ad41b81	Fix dodecahedra formatting	2021-07-12 14:58:56 -05:00
Anthony Wang	fbfc908681	Add tiny render	2021-07-09 21:00:49 -05:00
Anthony Wang	399aca9125	Move dodecahedra stuff into fun	2021-06-30 17:50:09 -05:00