X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fdaemons%2Fon-line%2Fxslt%2Fls2theory.xsl;h=91942331bb1c2827aa58c16dea6ed15a0b778977;hb=9dc61a4f11210bccf34f63f48968afca4261c1b4;hp=86eb208495c6ab7732e7202780a24f62c621edde;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/software/daemons/on-line/xslt/ls2theory.xsl b/helm/software/daemons/on-line/xslt/ls2theory.xsl
index 86eb20849..91942331b 100644
--- a/helm/software/daemons/on-line/xslt/ls2theory.xsl
+++ b/helm/software/daemons/on-line/xslt/ls2theory.xsl
@@ -6,7 +6,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 
-  <xsl:output method="html" encoding="iso-8859-1"/>
+  <xsl:output method="html" encoding="UTF-8"/>
 
   <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)
