rg3/youtube-dl — pull request #828 by jaimeMF (2013-05-07 12:34:34+00:00)
Title: Fix float display

The old style make it display bad;
![old](https://f.cloud.github.com/assets/1239727/471191/5c5eea52-b712-11e2-8a1d-fbda88808a51.png)
With the new one:
![new](https://f.cloud.github.com/assets/1239727/471192/61b1c47a-b712-11e2-8ec7-0eae60ec6ab9.png)