]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/templates/index.html
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / templates / index.html
index 30a32119cf09819a35cc59537930a68e2a66620e..7a2929c033aabaf5a38b252334c6c5de63dc4306 100644 (file)
@@ -11,7 +11,7 @@
 
   <frameset cols="200,*" border="0">
     <frame name="menu" src="menu.html">
-    <frame name="content" src="home.html">
+    <frame name="content" src="home.html" marginwidth="30">
   </frameset>
 
 </html>