1-1-elements.html always crashes in Mobile Safari and Chrome for iOS. This doesn't happen with 1-2-procedures.html. The codemirror interface is very slow when run in mobile browsers too.