squidfunk bdbd4af29d Improved touch-friendliness of version selector on mobile		2021-05-30 13:31:07 +02:00
..
images	Improved size of PNG files through lossless compression (#1617)	2020-04-17 10:50:02 +02:00
javascripts	Fixed #2703: search remains at 'Initializing search' on mobile	2021-05-27 11:36:08 +02:00
stylesheets	Improved touch-friendliness of version selector on mobile	2021-05-30 13:31:07 +02:00