Vrifox 0fa103f9d0 modified header, font-sizes and colors; …		2020-10-06 21:47:47 +02:00
..
list.html	modified header, font-sizes and colors; …	2020-10-06 21:47:47 +02:00