Just pushed a new version. Fixes:
- Search box works, but Google hasn't indexed us yet, so doesn't "work"
- Fixes page rendering issues in Internet Explorer (let me know if you're still having problems)
- Fixes the video player, which I accidentally broke by moving the javascript
- Better html page titles
Let me know if anything isn't working still.
