Re: [wwwdocs] Remove unused styles from gnu.css

[Gerald Pfeifer]

On Sun, 3 Apr 2011, Gerald Pfeifer wrote:
> And this is just more of the same which I missed in my first
> round.

Three's the charm.  Also installed.

Gerald

Index: gnu.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v
retrieving revision 1.6
diff -u -r1.6 gnu.css
--- gnu.css     3 Apr 2011 21:45:30 -0000       1.6
+++ gnu.css     4 Apr 2011 08:56:09 -0000
@@ -27,14 +27,6 @@
        text-align: center;
 }
 
-.italic { 
-       font-style: italic; 
-       }
-
-.bold {
-        font-weight: bold;
-        }
-
 .td_title {
        border-color: #3366cc;
        border-style: solid;
@@ -44,9 +36,6 @@
        font-weight: bold; 
 }
 
-/* gcc.gnu.org-local change: sync background-color with the copyright box 
- *                           instead of #fefefe which is basically white.
- */
 .td_con {
        padding-top: 3px; 
        padding-left: 8px; 
@@ -56,18 +45,6 @@
        font-size: smaller;
 }
 
-img {
-       border: none 0;
-}
-
-td.side {
-       color: #3366cc;
-       border-color: white;
-       border-style: none;
-       vertical-align: top;
-       width: 150px;
-}
-
 div.copyright {
        font-size: 80%; 
        border: 2px solid #3366cc;