www gnu-new.css gnu.css

[Karl Berry]

CVSROOT:        /web/www
Module name:    www
Changes by:     Karl Berry <karl>       07/10/19 22:22:59

Modified files:
        .              : gnu-new.css gnu.css 

Log message:
        remove specific references to Vera and Liberation; they render badly in 
firefox :( in some circumstances; tickets #345428, #342252, ...

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu-new.css?cvsroot=www&r1=1.67&r2=1.68
http://web.cvs.savannah.gnu.org/viewcvs/www/gnu.css?cvsroot=www&r1=1.46&r2=1.47

Patches:
Index: gnu-new.css
===================================================================
RCS file: /web/www/www/gnu-new.css,v
retrieving revision 1.67
retrieving revision 1.68
diff -u -b -r1.67 -r1.68
--- gnu-new.css 23 Aug 2007 22:17:20 -0000      1.67
+++ gnu-new.css 19 Oct 2007 22:22:33 -0000      1.68
@@ -1,7 +1,7 @@
 /*
 gnu-new.css -- css stylesheet used on www.gnu.org
 
-Copyright (C) 2006 Free Software Foundation
+Copyright (C) 2006, 2007 Free Software Foundation
 
 Permission is hereby granted, free of charge, to any person
 obtaining a copy of this software and associated documentation
@@ -24,7 +24,7 @@
   body{
   padding: 0;
   margin: 0;
-  font-family: "Liberation Sans", "Bitstream Vera Sans", sans-serif;
+  font-family: sans-serif;
   font-size: 86%;
   background-color: #fff;
   }

Index: gnu.css
===================================================================
RCS file: /web/www/www/gnu.css,v
retrieving revision 1.46
retrieving revision 1.47
diff -u -b -r1.46 -r1.47
--- gnu.css     4 Sep 2007 23:54:29 -0000       1.46
+++ gnu.css     19 Oct 2007 22:22:33 -0000      1.47
@@ -25,7 +25,7 @@
 }
 
 body{
-        font-family: "Bitstream Vera Sans", sans-serif; /* favour free fonts!! 
*/
+        font-family: sans-serif;
         background-color: #fff;
         margin: 0;
         padding: 1em;
@@ -35,7 +35,7 @@
 h1,h2,h3,h4,h5,h6{
         color: #000;
         font-weight: bold;
-        font-family: "Bitstream Vera Sans", sans-serif; /* favour free fonts!! 
*/
+        font-family: sans-serif;
         border: 0;
         background-color: transparent;
 }