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

2011-04-04 Thread 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 -   1.6
+++ gnu.css 4 Apr 2011 08:56:09 -
@@ -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;

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

2011-04-03 Thread Gerald Pfeifer 
On Sun, 3 Apr 2011, Gerald Pfeifer wrote:
 In 2006 we imported this from www.gnu.org to align our appearance
 with the one there.  Alas, that site kept evolving (and inconsistently
 so), and in fact removed this style, and I'll be trying to clean this
 up now.
 
 This is the first step, removing a number of unused styles.

And this is just more of the same which I missed in my first
round.

Gerald

Index: gnu.css
===
RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v
retrieving revision 1.4
diff -u -r1.4 gnu.css
--- gnu.css 3 Apr 2011 13:31:51 -   1.4
+++ gnu.css 3 Apr 2011 21:11:22 -
@@ -53,17 +53,6 @@
 font-weight: bold;
 }
 
-.quote {
-   margin-left: 40px;
-   margin-right: 40px;
-}
-
-.hrsmall {
-   width: 80px;
-   height: 1px;
-   margin-left: 20px;
-}
-
 .td_title {
border-color: #3366cc;
border-style: solid;
@@ -85,40 +74,12 @@
font-size: smaller;
 }
 
-.fsflink {
-   font-size: smaller; 
-   font-family: monospace; 
-   color : #00; 
-   border-left: #3366cc thin solid; 
-   border-bottom: #3366cc thin solid; 
-   padding-left: 5px; 
-   padding-bottom: 5px;
-}
-
-/*
- * rtl stands for right-to-left layout, as in farsi/persian,
- * arabic, etc. See also trans_rtl.
- */
-.fsflink_rtl {
-   font-size: smaller; 
-   font-family: monospace; 
-   color : #00; 
-   border-right: #3366cc thin solid; 
-   border-bottom: #3366cc thin solid; 
-   padding-right: 5px; 
-   padding-bottom: 5px;
-}
-
 img {
border: none 0;
 }
 
 td.side {
color: #3366cc;
-/* background: #f2f2f9; 
-   border-color: #3366cc;
-   border-style: solid;
-   border-width: thin; */
border-color: white;
border-style: none;
vertical-align: top;
@@ -133,8 +94,3 @@
border-style: solid;
border-width: thin;
 }
-
-
-/* Please don't remove -- ss class is used in Polish pages */
-.ss  li, .ss  dt { margin-top: 1em; margin-bottom:0.2em; }
-.ss li  p, .ss  dd  p { margin-top: 0.4em; margin-bottom:0; }