com web/php: Prettying up aside#quicktoc: styles/doc.css
| From: | Paul Dragoonis | Date: | Fri, 31 Dec 2010 05:02:10 +0000 |
| Subject: | com web/php: Prettying up aside#quicktoc: styles/doc.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-23700@lists.php.net to get a copy of this message | ||
Commit: d096824a70b1bb65bd2147488b110f8140fc2921
Author: Paul Dragoonis <dragoonis@gmail.com> Fri, 31 Dec 2010 05:02:10 +0000
Parents: 270196912996bdc7a885370be09ec9306c3640d3
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=d096824a70b1bb65bd2147488b110f8140fc2921
Log:
Prettying up aside#quicktoc
Changed paths:
M styles/doc.css
Diff:
diff --git a/styles/doc..css b/styles/doc.css
index e51a153..fad06d9 100644
--- a/styles/doc.css
+++ b/styles/doc.css
@@ -3,9 +3,13 @@
/* {{{ The Quick TOC reference top on man pages */
aside#quicktoc {
- padding: 10px;
+
+ padding: 10px 0 10px 10px;
+ border-top: 1px solid #C3ADD9;
+ border-left: 1px solid #C3ADD9;
+ border-bottom: 1px solid #C3ADD9;
+ margin: 0 0 20px 20px;
width: 125px;
- border: 1px solid #C3ADD9;
position: fixed;
right: 0px;
}