Commit: ab9c252730e519b8a2353b73bb86dbd5036df5e8 Author: Paul Dragoonis <[email protected]> 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 { -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
