I think `<!DOCTYPE html>` clearly states it is HTML5 document, and omitting `type` in it is allowed. (Look also as `<style>` tag—no `type` as well.)