Commit: d54ebc629302e59d28cc6e8d388914bd21d953e5 Author: Paul Dragoonis <[email protected]> Mon, 24 Jun 2013 22:42:16 +0100 Parents: ab9c252730e519b8a2353b73bb86dbd5036df5e8 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=d54ebc629302e59d28cc6e8d388914bd21d953e5 Log: [beta theme] reverted actual user contributed notes, code back to monospace font. Changed paths: M styles/theme.css Diff: diff --git a/styles/theme.css b/styles/theme.css index 4bcb97d..223f5e0 100755 --- a/styles/theme.css +++ b/styles/theme.css @@ -506,6 +506,18 @@ code { 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 span.default, +.phpcode span.keyword, +.phpcode span.string { + font-family: monospace; +} + +.phpcode span { + line-height: 0.5em; +} + + .phpcode, div.classsynopsis { text-align: left; } -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
