public static void markupCharacters(Element e, boolean ieFix) {
Nodes n = e.query("//text()");
for(int i=0;i<n.size();i++) {
String s = n.get(i).getValue();
Element parent = (Element)n.get(i).getParent();
int index = parent.indexOf(n.get(i));
for(int j=0;j<s.length();j++) {
Element c = new Element("char");
String cStr = s.substring(j,j+1);
if(ieFix && cStr.equals(" ")) cStr="\r";
c.appendChild(cStr);