Florine W. Dekker fc959d9619 Update highlighting colors ... And fix a bug where the two preferences would get mixed up.		2023-12-01 12:58:44 +01:00
..
css	Use bigger canvas, scale appropriately	2022-11-26 17:45:22 +01:00
js	Update highlighting colors	2023-12-01 12:58:44 +01:00
index.html	Use bigger canvas, scale appropriately	2022-11-26 17:45:22 +01:00