Also center-align Twitter (not just Google+) and remove no-ops style="border:0px" attributes for Twitter and Google+ icons.
Gerald Index: style.mhtml =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.134 diff -u -r1.134 style.mhtml --- style.mhtml 25 Feb 2017 11:46:22 -0000 1.134 +++ style.mhtml 25 Feb 2017 13:14:51 -0000 @@ -105,15 +105,17 @@ <a href="<get-var BACKPATH>lists.html">Mailing lists</a><br /> <a href="https://gcc.gnu.org/onlinedocs/gcc/Contributors.html">Contributors</a><br /> <a href="<get-var BACKPATH>steering.html">Steering Committee</a><br /> + <div align="center"> <a href="https://twitter.com/gnutools"> <img src="<get-var BACKPATH>twitter-bird-light-bgs.png" height="42" width="42" align="middle" alt="@gnutools on Twitter" - style="border:0px" />@gnutools</a> + />@gnutools</a> + </div> <div align="center"> <a href="https://plus.google.com/108467477471815191158"> <img src="<get-var BACKPATH>gplus-32.png" height="24" width="24" align="middle" alt="gnutools on Google+" - style="border:0px" /> gnutools</a> + /> gnutools</a> </div> </td></tr> </table></td></tr>