Commit: 3734073eb5f23dffa8eeaa4de75296cfc32b703c Author: Hannes Magnusson <[email protected]> Mon, 27 Dec 2010 14:05:43 +0000 Parents: 6e78010646ff97da2c77395a9ea60640b6407086 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3734073eb5f23dffa8eeaa4de75296cfc32b703c Log: - Make all h3.titles pretty - Move User notes into its own section Changed paths: M include/shared-manual.inc M styles/doc.css M styles/theme.css Diff: diff --git a/include/shared-manual.inc b/include/shared-manual.inc index ddbae41..a4a58ad 100644 --- a/include/shared-manual.inc +++ b/include/shared-manual.inc @@ -389,7 +389,7 @@ function manual_notes_beta() { echo <<<END_USERNOTE_HEADER -<div id="usernotes"> +<section id="usernotes"> <div class="head"> <span class="action">{$addnotesnippet}</span> <h3 class="title">User Contributed Notes</h3> @@ -414,8 +414,7 @@ END_USERNOTE_HEADER; echo "\n <div class=\"foot\">$addnotesnippet</div>\n"; } - // End of #usernotes - echo "</div>"; + // #usernotes gets closed by the footer } // Get user notes from the appropriate text dump function manual_notes_load($id) @@ -535,9 +534,9 @@ function manual_setup_beta($setup) { function manual_header_beta(){} function manual_footer_beta() { + echo "</section>"; manual_notes(); - echo "<br />"; site_footer(); } diff --git a/styles/doc.css b/styles/doc.css index 80267a9..6cdb98d 100644 --- a/styles/doc.css +++ b/styles/doc.css @@ -1,11 +1,3 @@ -.docs h3.title { - font-size: 1.5em; - border-top-style: solid; - border-top-width: 3px; - padding-top: 6px; - margin-top: 2em; -} - .docs i .parameter { font-style: normal; } diff --git a/styles/theme.css b/styles/theme.css index cb8f9c2..7d5637a 100644 --- a/styles/theme.css +++ b/styles/theme.css @@ -27,6 +27,14 @@ body { h1 { font-size: 1.7em; line-height: 2.6em; } h2 { font-size: 1.6em; line-height: 2.4em; } h3 { font-size: 1.4em; line-height: 2.2em; } +h3.title { + font-size: 1.5em; + border-top-style: solid; + border-top-width: 3px; + padding-top: 6px; + margin-top: 2em; +} + h4 { font-size: 1.3em; line-height: 2.0em; } h5 { font-size: 1.2em; line-height: 1.8em; } h6 { font-size: 1.1em; line-height: 1.6em; } @@ -190,6 +198,8 @@ h1 a:hover { * User notes */ #usernotes { + margin: 0 0 10px 175px; + background: #eee; position: relative; } -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
