]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/html/cic/control.html
1. the default encoding for the stylesheets is now UTF8
[helm.git] / daemons / on-line / html / cic / control.html
index 8e6aeaf1f7614b3f6b9f23aa490c642f7022e413..f773710257486788cc15d351a31b7e8ecbe8e2c2 100644 (file)
@@ -96,7 +96,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
     <script>
      var url = processorURL + "apply?keys=MC%2CRT%2CL&amp;xmluri=" +
          getterURL + "getxml%3Furi%3D" + cleanCICURI +
-         "&amp;prop.media-type=text/html&amp;prop.encoding=iso-8859-1" +
+         "&amp;prop.media-type=text/html&amp;prop.encoding=utf8" +
          "&amp;param.CICURI=" + cleanCICURI + "&amp;param.profile=" + profile +
          "&amp;profile=" + profile;
      document.write(