com web/php: Move the changelog styling to a separate stylesheet and include it, since it was conflicting with manual page styles.: ChangeLog-4.php
ChangeLog-5.php styles/changelog.css styles/theme.css

Commit: 3cb75c86e8ccabdad1b9e405c894c4131e24105a Author: Adam Harvey <aharvey@php.net> Fri, 7 Sep 2012 16:43:47 +0800 Parents: ae8748521f43c0f1590b2b9e8036157584ca874d Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3cb75c86e8ccabdad1b9e405c894c4131e24105a Log: Move the changelog styling to a separate stylesheet and include it, since it was conflicting with manual page styles. Changed paths: M ChangeLog-4.php M ChangeLog-5.php A styles/changelog.css M styles/theme.css Diff: diff --git a/ChangeLog-4.php b/ChangeLog-4.php index 9f64fb1..dbff024 100644 --- a/ChangeLog-4.php +++ b/ChangeLog-4.php @@ -2,7 +2,7 @@ // $Id$ $_SERVER['BASE_PAGE'] = 'ChangeLog-4.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; -site_header("PHP 4 ChangeLog", array("current" => "changelog")); +site_header("PHP 4 ChangeLog", array("current" => "docs", 'css' => array('changelog.css'))); function bugfix($number) { echo "Fixed bug "; bugl($number); } function bugl($number) { echo "<a href=\"http://bugs.php.net/$number\">#$number</a>"; } ?> diff --git a/ChangeLog-5.php b/ChangeLog-5.php index 6f71e85..5181b0f 100644 --- a/ChangeLog-5.php +++ b/ChangeLog-5.php @@ -2,7 +2,7 @@ // $Id$ $_SERVER['BASE_PAGE'] = 'ChangeLog-5.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; -site_header("PHP 5 ChangeLog", array("current" => "changelog")); +site_header("PHP 5 ChangeLog", array("current" => "docs", 'css' => array('changelog.css'))); function bugfix($number) { echo "Fixed bug "; bugl($number); } function bugl($number) { echo "<a href=\"http://bugs.php.net/$number\">#$number</a>"; } function peclbugfix($number) { echo "Fixed PECL bug "; bugl($number); } diff --git a/styles/changelog.css b/styles/changelog.css new file mode 100644 index 0000000..7a89647 --- /dev/null +++ b/styles/changelog.css @@ -0,0 +1,28 @@ +/* Changelog pages. */ +h3 { + /* Fake the <hr> above headings that we used to have before rejigging the + * NEWS format. */ + border-top: solid 0.2em #99C; + line-height: 2em; + margin-top: 1.5em; + padding-top: 1.25em; +} + +hr + a[name] + h3 { + /* Remove the fake <hr> border if we actually have a <hr>. */ + border-top: 0; + margin-top: 0; + padding-top: 0; +} + +b { + /* Not entirely clear how <b> became the enclosing element for dates, but + * whatever. We'll use the same styling as dates in the news archive, + * except without the dotted border (since they're not actual <abbr> + * elements). */ + color: #666; + display: inline-block; + font-size: 0.75em; + font-weight: normal; + line-height: 2; +} diff --git a/styles/theme.css b/styles/theme..css index e445bff..377bdbb 100755 --- a/styles/theme.css +++ b/styles/theme.css @@ -791,32 +791,3 @@ table.standard th.subr { margin: 0 auto; clear:both; } - -/* Changelog pages. */ -.changelog h3 { - /* Fake the <hr> above headings that we used to have before rejigging the - * NEWS format. */ - border-top: solid 0.2em #99C; - line-height: 2em; - margin-top: 1.5em; - padding-top: 1.25em; -} - -.changelog hr + a[name] + h3 { - /* Remove the fake <hr> border if we actually have a <hr>. */ - border-top: 0; - margin-top: 0; - padding-top: 0; -} - -.changelog b { - /* Not entirely clear how <b> became the enclosing element for dates, but - * whatever. We'll use the same styling as dates in the news archive, - * except without the dotted border (since they're not actual <abbr> - * elements). */ - color: #666; - display: inline-block; - font-size: 0.75em; - font-weight: normal; - line-height: 2; -}