eclipse 5d04b1f04d switched Pico color		2025-03-06 17:30:49 +01:00
..
custom.css	revamped page layout; added new pictures; lots of small work on parameter names, image credits etc	2025-03-06 14:58:03 +01:00
pico.zinc.css	increased overall font size by 12.5%; added new style sheet color	2025-03-05 18:26:17 +01:00
pico.zinc.min.css	switched Pico color	2025-03-06 17:30:49 +01:00