9 Commits

Author	SHA1	Message	Date
John Livingston	8a400d2d9f	New abstract avatars	2024-02-12 16:50:08 +01:00
John Livingston	3e723e8b6b	Avatar optimization	2024-02-12 15:19:58 +01:00
John Livingston	91ef261c16	Fenec avatars.	2024-02-09 15:35:40 +01:00
John Livingston	fbeffef34b	Bird avatars.	2024-02-09 15:12:48 +01:00
John Livingston	9561f36b93	Cats avatars.	2024-02-09 13:17:12 +01:00
John Livingston	19fca3891a	New avatars: ... * moving files in better directory structure * new bot avatar	2024-02-09 11:16:29 +01:00
John Livingston	b9b0eb41d9	New avatars set WIP: ... * adding new avatars by David Revoy * replacing old avatars to test TODO: add a settings to choose between legacy and new avatars. TODO: generate a bot avatar.	2024-02-08 18:49:49 +01:00
John Livingston	3fd6b9b563	Links to online documentation: ... * Adding a help button on top of the chat, that links to the online documentation on frama.io. * Replaced github.io documentation links by frama.io documentation. * Adding links to the documentation in the diagnostic tool.	2023-07-26 18:16:30 +02:00
John Livingston	42c21ead94	Moving public directory away: ... Moving `public/images` dir to `assets/images`, because it conflicts with gitlab CI/CD for documentation. Moving `assets/styles.css` to `assets/styles/styles.css`. Related to #117.	2023-02-14 10:19:55 +01:00