One more thing. Opera mini is a java based app that relies 100% on operas servers to request, deliver and render pages. Opera mobile is WebKit based so it should handle html5 the same as chrome, safari and the others.
Losing fingers since 1969