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 -0000 1.4
+++ gnu.css 3 Apr 2011 21:11:22 -0000
@@ -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 : #000000;
- 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 : #000000;
- 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; }
