title: Best video format for HTML5?
body: <p>I've got a set of videos that are going to be posted on a new site I'm developing, using our new html5 player. I know Firefox only supports .ogg format, whereas most others (including eventually IE9) support h264. </p>
  
  <p>I'm looking to tap into the experience of the crowd here: has anyone had any luck with a single video format across browsers? Or am I doomed to double-encode everything? It just seems a shame to waste space on having two copies of each video because we can't standardize our codecs.</p>
  
  <p>Thanks in advance!</p>
  
  <p>PS (Flash player isn't really an option as a fallback, partly on principle and partly because of a rather large mobile userbase.)</p>