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-16086@lists.php.net to get a copy of this message | ||
Commit: ab9c252730e519b8a2353b73bb86dbd5036df5e8
Author: Paul Dragoonis <dragoonis@gmail.com> Mon, 24 Jun 2013 22:30:02 +0100
Parents: d23388ed50c8fca6d3f20dfd688739d2841d0433
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=ab9c252730e519b8a2353b73bb86dbd5036df5e8
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 {