[wwwdocs] Remove unused styles from gnu.css

Gerald Pfeifer gerald@pfeifer.com
Mon Apr 4 09:06:00 GMT 2011


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; 



More information about the Gcc-patches mailing list