Ace editor is no longer displayed on mobile browsers (fixes #65).