Commit: 7d552438f88af41af0c6bf233e0ed5880cd5ea26 Author: Paul Dragoonis <[email protected]> Mon, 24 Jun 2013 22:42:16 +0100 Parents: b20694f5226e2ebd257d32b0600ca660907d323a Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=7d552438f88af41af0c6bf233e0ed5880cd5ea26 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
