- "¶m.media-type=text/xml" +
- "¶m.method=xml" +
- "¶m.keys=" + getCICProofTreeXHTMLMathMLKeys() +
- "¶m.interfaceURL=" + escape(interfaceURL);
+ "¶m.media-type=text/html" +
+ "¶m.keys=" + getCICHTMLKeys() +
+ "¶m.interfaceURL=" + escape(interfaceURL) +
+ "¶m.framewidth=150";