Commit: d11e6b623923891f4ff1cfb4e34890535f1c2a31 Author: Paul Dragoonis <[email protected]> Mon, 24 Jun 2013 22:59:33 +0100 Parents: 6578c4cc2b23b75c604a5accc2016efa6cc02954 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=d11e6b623923891f4ff1cfb4e34890535f1c2a31 Log: [beta site] reverting the ambitious font family change for user contributed notes and just making their font larger Changed paths: M styles/doc.css M styles/theme.css Diff: diff --git a/styles/doc.css b/styles/doc.css index f4a0a22..7a060de 100755 --- a/styles/doc.css +++ b/styles/doc.css @@ -228,6 +228,11 @@ aside#quicktoc { .docs .example-contents .phpcode code { padding:1em; } + +.docs .note .phpcode code { + font-size: 1.0em !important; +} + .docs .phpcode code { font-size:.923em; line-height: 2; diff --git a/styles/theme.css b/styles/theme.css index 96f005f..dcb8aa5 100755 --- a/styles/theme.css +++ b/styles/theme.css @@ -503,14 +503,8 @@ dl dd p + p { /* PHP source code highlighting ------------------------------------------- */ 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; + 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
