HTML compressor