Now uses the new stylesheets waterfall

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 24ca2eed9b5031241ef1ce62537c677d829a3fbb..8debc89f8d486e1ed17c5d40bd6792cb3914def3 100644 (file)
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -110,21 +110,42 @@ function makeURL(type,uri,cicflags,typesflags)
      "&format=" + (format == "zcic" ? "gz" : "normal");
   } else {
     if (format == "html" && type == "cic") {
-      keys = "C1,HC2&param.processorURL=" + escape(processorURL) +
+      keys = "C1,HC2,L&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
-       "&param.keys=" + escape("C1,HC2");
+       "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&prop.encoding=iso-8859-1" +
+       "&prop.media-type=text/html" +
+       "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&param.encoding=iso-8859-1" +
+       "&param.media-type=text/html" +
+       "&param.keys=" + escape("C1,HC2,L");
     } else if (format == "html" && type == "theory") {
-      keys = "T1,T2,E&param.processorURL=" + escape(processorURL) +
+      keys = "T1,T2,L,E&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
-       "&param.keys=" + escape("C1,HC2");
+       "&param.thkeys=" + escape("TC1,HC2,L") +
+       "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
+       "&param.encoding=iso-8859-1" +
+       "&param.media-type=text/html" +
+       "&param.keys=" + escape("C1,HC2,L");
     } else if (format == "mml_cont" && type == "cic") {
       keys = "C1";
     } else if (format == "mml_cont" && type == "theory") {
-      keys = "T1,E&param.keys=C1";
+      keys = "T1,E&param.keys=C1&param.thkeys=TC1";
     } else if (format == "mml_pres" && type == "cic") {
-      keys = "C1,C2";
+      keys = "C1,C2,L&param.processorURL=" + escape(processorURL) +
+       "&param.getterURL=" + escape(getterURL) +
+       "&prop.doctype-public="+
+       "&prop.encoding=" +
+       "&prop.media-type=text/xml" +
+       "&param.doctype-public=" +
+       "&param.encoding=" +
+       "&param.media-type=text/xml" +
+       "&param.keys=" + escape("C1,C2,L");
     } else if (format == "mml_pres" && type == "theory") {
-      keys = "T1,T2,E&param.keys=C1,C2";
+      keys = "T1,T2,L,E&param.keys=C1,C2&param.thkeys=TC1,C2,L" +
+       "&param.doctype-public=" +
+       "&param.encoding=" +
+       "&param.media-type=text/xml";
     }
 
     var naturalLanguage = typesflags;