iPad magic: if all html text elements call updateSize() in every update,
JSXGraph runs more smoothly.