com web/php: [beta theme] improving readability of user contributed notes: styles/theme.css
| From: | Paul Dragoonis | Date: | Mon, 24 Jun 2013 21:30:02 +0000 |
| Subject: | com web/php: [beta theme] improving readability of user contributed notes: styles/theme.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-22802@lists.php.net to get a copy of this message | ||
Commit: b20694f5226e2ebd257d32b0600ca660907d323a
Author: Paul Dragoonis <dragoonis@gmail.com> Mon, 24 Jun 2013 22:30:02 +0100
Parents: d68783bc7299d7f8494aeeb7e7739b94eed296ea
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=b20694f5226e2ebd257d32b0600ca660907d323a
Log:
[beta theme] improving readability of user contributed notes
Changed paths:
M styles/theme.css
Diff:
diff --git a/styles/theme.css b/styles/theme.css
index 6090ba9..4bcb97d 100755
--- a/styles/theme.css
+++ b/styles/theme.css
@@ -503,7 +503,7 @@ dl dd p + p {
/* PHP source code highlighting ------------------------------------------- */
code {
- font-family: monospace;
+ font-family: Arial, Helvetica, sans-serif;
font-size:1.230769em; /* bumps it back up to the rest of the fonts because monospace is smaller
*/
}
.phpcode, div.classsynopsis {