html5 via theme-support (from twentythirteen)