From 4025c3f5b36025380dcad84bb7a97045d08652f6 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Fri, 9 Sep 2011 13:11:36 +0000 Subject: [PATCH] Matitaweb: layout change in the matitaweb inteface, in order to allow better cross-browser compatibility. --- matitaB/matita/index.html | 34 +++++++++--------- matitaB/matita/matitaweb.css | 68 ++++++++++++++++++++++++++++++++++++ 2 files changed, 86 insertions(+), 16 deletions(-) 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 @@ - - - - - - - - + - - - -
+ +
+ +
+ +
+ + +
+
-
+ +

   
-
+
-
+ + +