Commit: d096824a70b1bb65bd2147488b110f8140fc2921 Author: Paul Dragoonis <[email protected]> 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; } -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
