Javascript/HTML压缩、格式化