形式化 Java脚本和Css的验证程序。