]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/ls2theory.xsl
1. the default encoding for the stylesheets is now UTF8
[helm.git] / daemons / on-line / xslt / ls2theory.xsl
index 86eb208495c6ab7732e7202780a24f62c621edde..3e9e4abec3d4f48100b4bd15f4664abea74c352f 100644 (file)
@@ -6,7 +6,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 
-  <xsl:output method="html" encoding="iso-8859-1"/>
+  <xsl:output method="html" encoding="utf8"/>
 
   <xsl:param name="CICURI" select="''" />
   <xsl:param name="interfaceURL" select="''" />
@@ -15,6 +15,9 @@
     <html>
       <head>
        <style>
+         li {
+           font-family: sans-serif;
+         }
          li.theory {
            list-style-image:
              url(<xsl:value-of select="$interfaceURL"/>/icons/theory.png)