From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 21 Mar 2002 20:44:20 +0000 (+0000)
Subject: frames/no frame switch changed
X-Git-Tag: V_0_3_0_debian_8~196
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=50f0e30dbd4fcf091bf9147225e6d9ff9d8839a1;p=helm.git

frames/no frame switch changed
---

diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml
index ddc4242ea..60431f45e 100644
--- a/helm/mowgli/home/xml/menu.xml
+++ b/helm/mowgli/home/xml/menu.xml
@@ -101,9 +101,11 @@
   </td></tr>
   </table>
 
-  <span style="text-align:center">
-  <mowgli:change-frame-settings/>
-  </span>
+  <div class="center">
+    <div class="small">
+      <mowgli:change-frame-settings/>
+    </div>
+  </div>
 
   </body>
 
diff --git a/helm/mowgli/home/xsl/xhtml-content.xsl b/helm/mowgli/home/xsl/xhtml-content.xsl
index ff869b216..18672946d 100644
--- a/helm/mowgli/home/xsl/xhtml-content.xsl
+++ b/helm/mowgli/home/xsl/xhtml-content.xsl
@@ -92,10 +92,10 @@
  <p>
  <xsl:choose>
   <xsl:when test="$use_frames = 'yes'">
-   <a href="../html_no_frames" target="_top">Version without frames</a>
+   [<a href="../html_no_frames" target="_top">No frames</a>]
   </xsl:when>
   <xsl:otherwise>
-   <a href="../html_yes_frames" target="_top">Version with frames</a>
+   [<a href="../html_yes_frames" target="_top">Frames</a>]
   </xsl:otherwise>
  </xsl:choose>
  </p>