From: Wilmer Ricciotti Date: Fri, 9 Sep 2011 13:11:36 +0000 (+0000) Subject: Matitaweb: layout change in the matitaweb inteface, in order to allow better X-Git-Tag: make_still_working~2294 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4025c3f5b36025380dcad84bb7a97045d08652f6;p=helm.git Matitaweb: layout change in the matitaweb inteface, in order to allow better cross-browser compatibility. --- diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index cdb283477..e665bede6 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -12,9 +12,11 @@ - - - - - - - - + - - - -
+ +
+ +
+

Advance --> -

+ +
+ + +
+
-
 + +

   

-

+

 	
-

+
+
+