]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/menu.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / menu.xml
index ddc4242eaebc05ac771cdabe0108b5e6acfbab15..60431f45eb813494be660883a61ae549ad32dfc3 100644 (file)
   </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>