Add some padding to iframe footer

Thomas Bruederli

2012-05-31 a15c0aa218fabd2de93e962dc7c697c4bf7ce72f

 program/js/tiny_mce/utils/validate.js

@@ -32,7 +32,7 @@
   },



   isSize : function(s) {

      return this.test(s, '^[0-9]+(%|in|cm|mm|em|ex|pt|pc|px)?$');

      return this.test(s, '^[0-9.]+(%|in|cm|mm|em|ex|pt|pc|px)?$');

   },



   isId : function(s) {