This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [wwwdocs] Remove unused styles from gnu.css
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;