@ -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;
@ -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');