Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / daemons / on-line / xslt / ls2theory.xsl
diff --git a/helm/software/daemons/on-line/xslt/ls2theory.xsl b/helm/software/daemons/on-line/xslt/ls2theory.xsl

index 86eb208495c6ab7732e7202780a24f62c621edde..91942331bb1c2827aa58c16dea6ed15a0b778977 100644 (file)
--- 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)