From 7de1618c4d23941a8cb1991a89466d2298941b2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Carlos=20Ra=C3=B1a?= <juancarlos@innovasoc.com>
Date: Fri, 8 May 2009 00:04:50 +0200
Subject: [PATCH] [svn r20397] better wiki styles for ie7 and firefox. Fix for
 several languages

---
 main/wiki/css/default.css | 4 +---
 main/wiki/index.php       | 2 +-
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/main/wiki/css/default.css b/main/wiki/css/default.css
index 1cccf68508..0a3cd499db 100644
--- a/main/wiki/css/default.css
+++ b/main/wiki/css/default.css
@@ -61,11 +61,9 @@
 	#wikicontent {
 		padding-top:5px;
 		min-height:300px;
-		min-width: 800px;
 	}		
 	
 	#menuwiki {			
-		width:250 px;
 		float:left;	
 		border-top: 1px solid #cccccc;
 		border-right: 1px solid #cccccc;
@@ -82,7 +80,7 @@
 	
 	#mainwiki {
 		border-left: 1px solid #cccccc;
-		margin-left:200px;
+		margin-left:240px;
 		padding-left:10px;	
 	}
 		
diff --git a/main/wiki/index.php b/main/wiki/index.php
index 639d194372..c087188740 100644
--- a/main/wiki/index.php
+++ b/main/wiki/index.php
@@ -355,7 +355,7 @@ echo "<div id='wikiwrapper'>";
 
 /** Actions bar (= action of the wiki tool, not of the page)**/
 echo '<div id="menuwiki">';
-echo '<table>';
+echo '<table width="210">';
 echo '<tr>';
 echo '<td>';
 	echo get_lang('Menu');