Use html5small for minification.