use html5 doctype for github pages