com web/php: [beta site] reverting the ambitious font family change for user contributed notes and just making their font larger: styles/doc.css
styles/theme.css
| From: | Paul Dragoonis | Date: | Mon, 24 Jun 2013 21:59:33 +0000 |
| Subject: | com web/php: [beta site] reverting the ambitious font family change for user contributed notes and just making their font larger: styles/doc.css styles/theme.css |
||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-16090@lists.php.net to get a copy of this message | ||
Commit: d11e6b623923891f4ff1cfb4e34890535f1c2a31
Author: Paul Dragoonis <dragoonis@gmail.com> 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 {