Apply coding conventions to library_html5.js.