From b3214f0da40accb3464b0e924f51a09fb804de77 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 4 May 2001 10:46:20 +0000 Subject: [PATCH] Stylesheets for (cic|content|presentation) theory now fully working --- helm/on-line/javascript/control.js | 35 ++++++++++++++--- helm/style/links_library.xsl | 62 ++++++++++++++++++++---------- 2 files changed, 71 insertions(+), 26 deletions(-) diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js index 4389be7d8..76dc7b768 100644 --- a/helm/on-line/javascript/control.js +++ b/helm/on-line/javascript/control.js @@ -148,21 +148,39 @@ function makeURL(type,uri,cicflags,typesflags) "¶m.keys=" + escape("C1,HC2,L") + "¶m.interfaceURL=" + escape(interfaceURL); } else if (format == "html" && type == "theory") { - keys = escape("T1,T2,L,E")+"¶m.processorURL=" + escape(processorURL) + + keys = escape("T1,T2,L,E")+ + "¶m.processorURL=" + escape(processorURL) + "¶m.getterURL=" + escape(getterURL) + - "¶m.thkeys=" + escape("TC1,HC2,L") + + "¶m.keys=" + escape("C1,HC2,L") + + "¶m.thkeys=" + escape("T1,T2,L,E") + + "¶m.embedkeys=" + escape("TC1,HC2,L") + "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "¶m.encoding=iso-8859-1" + + "¶m.thencoding=iso-8859-1" + "¶m.media-type=text/html" + - "¶m.keys=" + escape("C1,HC2,L") + + "¶m.thmedia-type=text/html" + "¶m.interfaceURL=" + escape(interfaceURL) + "¶m.thinterfaceURL=" + escape(thinterfaceURL); } else if (format == "mml_cont" && type == "cic") { keys = "C1"; } else if (format == "mml_cont" && type == "theory") { - keys = escape("T1,E")+"¶m.keys=C1¶m.thkeys=TC1"; + keys = escape("T1,L,E")+ + "¶m.keys=C1" + + "¶m.thkeys=T1,L,E" + + "¶m.embedkeys=TC1" + + + "¶m.processorURL=" + escape(processorURL) + + "¶m.getterURL=" + escape(getterURL) + + "¶m.doctype-public=" + + "¶m.encoding=" + + "¶m.thencoding=iso-8859-1" + + "¶m.media-type=text/xml" + + "¶m.thmedia-type=text/html" + + "¶m.interfaceURL=" + escape(interfaceURL) + + "¶m.thinterfaceURL=" + escape(thinterfaceURL); } else if (format == "mml_pres" && type == "cic") { - keys = escape("C1,C2,L")+"¶m.processorURL=" + escape(processorURL) + + keys = escape("C1,C2,L")+ + "¶m.processorURL=" + escape(processorURL) + "¶m.getterURL=" + escape(getterURL) + "&prop.doctype-public="+ "&prop.encoding=" + @@ -173,12 +191,17 @@ function makeURL(type,uri,cicflags,typesflags) "¶m.keys=" + escape("C1,C2,L") + "¶m.interfaceURL=" + escape(interfaceURL); } else if (format == "mml_pres" && type == "theory") { - keys = escape("T1,T2,L,E")+"¶m.keys=C1,C2,L¶m.thkeys=TC1,C2,L" + + keys = escape("T1,T2,L,E")+ + "¶m.keys=C1,C2,L" + + "¶m.thkeys=T1,T2,L,E" + + "¶m.embedkeys=TC1,C2,L" + "¶m.processorURL=" + escape(processorURL) + "¶m.getterURL=" + escape(getterURL) + "¶m.doctype-public=" + "¶m.encoding=" + + "¶m.thencoding=iso-8859-1" + "¶m.media-type=text/xml" + + "¶m.thmedia-type=text/html" + "¶m.interfaceURL=" + escape(interfaceURL) + "¶m.thinterfaceURL=" + escape(thinterfaceURL); } diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 8f18a4882..d24c63f45 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -32,20 +32,29 @@ + + + + + - + - - + + + + + + + @@ -140,13 +149,13 @@ step for expanding objects --> - + - + - + @@ -168,11 +177,18 @@ step for expanding objects --> + + + + + + ?url= ?url= apply?keys= -&param.naturalLanguage=&param.annotations=&prop.media-type=&param.media-type=&prop.doctype-public=&param.doctype-public=&prop.encoding=&param.encoding=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&xmluri= -&param.thkeys=&param.thinterfaceURL= +&param.naturalLanguage=&param.annotations=&prop.doctype-public=&param.doctype-public=&param.encoding=&param.media-type=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&xmluri= +&prop.media-type=&prop.encoding= +&prop.media-type=&param.thmedia-type=&param.thkeys=&param.embedkeys=&param.thinterfaceURL=&param.thencoding=&prop.encoding= @@ -180,15 +196,21 @@ step for expanding objects --> + + + + + + - + - + @@ -200,18 +222,21 @@ step for expanding objects --> + - + + - - - + + + + @@ -221,7 +246,6 @@ step for expanding objects --> %26param.CICURI%3D - @@ -231,12 +255,10 @@ step for expanding objects --> - + + &param.CICURI=&param.type= - - - -- 2.39.2