Add general file: ie31css.js.