Fix css typo.
Fix for iOS touch events; see https://github.com/ajaxorg/ace/issues/102