cvs: phpweb / style.css

From: Date: Mon, 28 Jan 2002 22:36:43 +0000
Subject: cvs: phpweb / style.css
Groups: php.mirrors 
Request: Send a blank email to php-mirrors+get-8348@lists.php.net to get a copy of this message
imajes Mon Jan 28 17:36:43 2002 EDT Modified files: /phpweb style.css Log: changes to verdana/sans-serif. Overall, this makes the font easier to read. where none of the default fonts are installed, it'll use the default sans-serif font. Index: phpweb/style.css diff -u phpweb/style.css:1.17 phpweb/style.css:1.18 --- phpweb/style.css:1.17 Tue Jan 1 19:37:01 2002 +++ phpweb/style.css Mon Jan 28 17:36:42 2002 @@ -1,10 +1,10 @@ body, ul, td, th { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 95%; } p { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; } em { @@ -32,7 +32,7 @@ } code, pre { - font-family: "andale mono", "monotype.com", "courier new", monospace; + font-family: monospace; font-size: 90%; } @@ -41,71 +41,71 @@ } h1 { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 140%; font-weight: bold; color: #000066; } h2 { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 125%; font-weight: bold; color: #000066; } h3 { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 110%; font-weight: bold; color: #000066; } h4 { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 100%; font-weight: bold; color: #000066; } small { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 75%; } a.small { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 75%; text-decoration: none; } .tableTitle { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-weight: bold; } .tableExtras { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 85%; color: #FFFFFF; } input { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; } textarea { - font-family: "andale mono", "monotype.com", "courier new", monospace; + font-family: monospace; } input.small, select.small { - font-family: arial,helvetica,sans-serif; + font-family: verdana,arial,helvetica,sans-serif; font-size: 75%; } textarea.small { - font-family: "andale mono", "monotype.com", "courier new", monospace; + font-family: monospace; font-size: 75%; }

« previous php.mirrors (#8348) next »