com web/php: Removed unnecessary font size declaration. Also removed the margin-right since it looks bad.: styles/doc.css
| From: | Levi Morrison | Date: | Tue, 25 Jun 2013 18:53:40 +0000 |
| Subject: | com web/php: Removed unnecessary font size declaration. Also removed the margin-right since it looks bad.: styles/doc.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-16122@lists.php.net to get a copy of this message | ||
Commit: 0bb6cf069c488dbb2512d2449230b7eaf7bb7eb4
Author: Levi Morrison <levim@php.net> Tue, 25 Jun 2013 12:53:40 -0600
Parents: c8364392d396fc051dc67b035a684124949afaf2
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=0bb6cf069c488dbb2512d2449230b7eaf7bb7eb4
Log:
Removed unnecessary font size declaration.. Also removed the margin-right since it looks bad.
Changed paths:
M styles/doc.css
Diff:
diff --git a/styles/doc.css b/styles/doc..css
index d6808dd..37e4433 100755
--- a/styles/doc.css
+++ b/styles/doc.css
@@ -115,11 +115,7 @@ aside#quicktoc {
border-top: 3px solid #FFFFCC;
background-color: #EFEFEF;
}
-.docs blockquote.note,
-.docs div.caution {
- font-size: 1em;
- margin-right: 0.8em;
-}
+
.docs div.tip b.tip,
.docs div.warning b.warning,
.docs div.tip strong.tip,