com web/php: Add changelog styling.: ChangeLog-4.php ChangeLog-5.php styles/theme.css

Commit: e23c0b2079ce1bd7eb34cba66994c156448d282c Author: Adam Harvey <aharvey@php.net> Fri, 7 Sep 2012 16:06:36 +0800 Parents: 3417290abae0a6a61219b670b4da8b99865e7b07 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=e23c0b2079ce1bd7eb34cba66994c156448d282c Log: Add changelog styling. Changed paths: M ChangeLog-4.php M ChangeLog-5.php M styles/theme.css Diff: diff --git a/ChangeLog-4.php b/ChangeLog-4.php index 0259f9d..9f64fb1 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" => "FIXME")); +site_header("PHP 4 ChangeLog", array("current" => "changelog")); 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 4cff714..6f71e85 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" => "FIXME")); +site_header("PHP 5 ChangeLog", array("current" => "changelog")); 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/theme.css b/styles/theme.css index 79673cd..1ad11af 100755 --- a/styles/theme.css +++ b/styles/theme.css @@ -773,3 +773,32 @@ p code { font-family: Verdana, Arial, sans-serif; font-size:100%; } + +/* 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; +}