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; }