Shorten the resulting HTML

See <http://mathiasbynens.be/notes/html5-levels#level-1>.