This does not actually make a real difference (visually); tested with a couple of browsers to make sure.
Committed. Gerald Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.153 diff -u -r1.153 style.mhtml --- style.mhtml 8 Sep 2018 20:47:46 -0000 1.153 +++ style.mhtml 9 Sep 2018 09:37:48 -0000 @@ -73,7 +73,7 @@ <table class="border0" cellspacing="0"> <tr> - <td class="top border0" width="99%"> <!-- main frame --> + <td class="top border0"> <!-- main frame --> > > @@ -84,7 +84,7 @@ </td> <!-- end of main frame --> <td class="top border0"> <!-- nav frame --> - <table class="nav" width="10em"> + <table class="nav"> <tr><td><table class="navitem"> <tr><td>About GCC</td></tr>
