Wikimedia Bugzilla is closed!

actually, a <table> is used for hack the dispay of the #toc (makes the right border sticks to the text instead to its parent right border.

With apropriate internal stylesheet it displays well, but when an external stylesheet is used with visible tables, it becomes very ugly.

I suggest something like

#toc{float:left}
h2 .firstHeadline{clear:left} /* a firstHeadline class is needed because h2:first-child is used by the #toc headline itself, and :first-child doesn't work with IE */

So we can change 

<table id="toc" class="toc" summary="Contents">
<tbody><tr>
<td>
[blabla]
</td>
</tr>
</tbody></table>

to

<div id="toc" class="toc" summary="Contents">
[blabla]
</div>