Removed formalize JS, CSS