code: function isHTMLFont(attrs) {
        for(var i = 0, n = attrs.length; i < n; i++) {
          switch(attrs[i][0]) {
          case "color":
          case "face":
          case "size":
            return true;
          }
        }
        return false;
      }
docs: A <font> tag is an HTML font tag if it has a color, font, or size attribute.  Otherwise we assume it is foreign content