HTML5 doctype in HTML-Bootstrap