Gildas 3f6f52ac59 set "remove unused CSS rules" true by default 7 lat temu
..
bg 1cfc2f3f0c fixed save selection 7 lat temu
content 31033af1ee removed pointless directory 7 lat temu
pages 3f6f52ac59 set "remove unused CSS rules" true by default 7 lat temu
resources b5d84e0950 made the progress bar more visible 7 lat temu