Bug 708446 - Deprecated list breaks HTML tree with xhtml extension

src/navtree.js

@@ -106,7 +106,7 @@ function createIndent(o,domNode,node,level)
     span.style.display = 'inline-block';
     span.style.width   = 16*(level+1)+'px';
     span.style.height  = '22px';
-    span.innerHTML = ' ';
+    span.innerHTML = ' ';
     domNode.appendChild(span);
   } 
 }

src/navtree_js.h

@@ -106,7 +106,7 @@
 "    span.style.display = 'inline-block';\n"
 "    span.style.width   = 16*(level+1)+'px';\n"
 "    span.style.height  = '22px';\n"
-"    span.innerHTML = ' ';\n"
+"    span.innerHTML = ' ';\n"
 "    domNode.appendChild(span);\n"
 "  } \n"
 "}\n"