Use html5 by default