IE10 compatibility: full-screen-drag-rotate-and-zoom.html

How to reproduce:
* Use Internet Explorer 10 on windows 7 pro 64b
* Go on page http://ol3js.org/en/r3.0.0-alpha.4/examples/full-screen-drag-rotate-and-zoom.html
* Click on the "full screen" control
* Nothing happens

Expected:
* Click on the "full screen" control
* The map goes full screen

Notes:
 * does work well on Chrome