com web/php: Parameter description font size mods. Updating 'note within note' border. Adding purple border-top to all main docs sections rather than
the grey, improving contract and readability.: styles/doc.css
| From: | Paul Dragoonis | Date: | Tue, 25 Jun 2013 14:10:19 +0000 |
| Subject: | com web/php: Parameter description font size mods. Updating 'note within note' border. Adding purple border-top to all main docs sections rather than the grey, improving contract and readability.: styles/doc.css |
||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-16101@lists.php.net to get a copy of this message | ||
Commit: 4e8993bee7a9f62bbcc34d701d592a215e0ad9b9
Author: Paul Dragoonis <dragoonis@gmail.com> Tue, 25 Jun 2013 15:10:19 +0100
Parents: 1399929d334738ba4756aa8ae39bdb549a059fb1
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=4e8993bee7a9f62bbcc34d701d592a215e0ad9b9
Log:
Parameter description font size mods. Updating 'note within note' border. Adding purple
border-top to all main docs sections rather than the grey, improving contract and readability.
Changed paths:
M styles/doc.css
Diff:
diff --git a/styles/doc.css b/styles/doc.css
index f0e3f45..939cb50 100755
--- a/styles/doc.css
+++ b/styles/doc.css
@@ -105,7 +105,6 @@ aside#quicktoc {
}
.docs blockquote.note {
- border-top: 3px solid #9999CC;
background-color: #EFEFEF;
}
.docs div.tip {
@@ -211,6 +210,11 @@ aside#quicktoc {
.docs .refsect1.seealso .title + p.para + * {
margin-top:-1.5em; /* there's a p tag that has whitespace (not :empty). This simply covers
it up */
}
+
+.docs .rdfs-comment .parameter {
+ font-size: 1.3em;
+}
+
/* }}} */
@@ -240,6 +244,10 @@ aside#quicktoc {
margin:-1px 0;
}
+.docs .refsect1.examples {
+ border-top: 0.2em solid #669;
+}
+
/* }}} */
@@ -326,6 +334,7 @@ ul.chunklist_children {
.docs .refsect1 {
margin-top: 3em;
color: #444;
+ border-top: 0.2em solid #669;
}
.docs .classsynopsis,
@@ -467,6 +476,10 @@ body.docs #layout {
margin-right: 6px;
}
+.docs .sect2 {
+ margin-top: 12px;
+}
+
/* Soft-deprecation Notices */
div.soft-deprecation-notice h1.title {
border: 0;