From 9a3fa776d45e852ed9042c874fa188720824f50e Mon Sep 17 00:00:00 2001 From: Tomas Pospisek Date: Sat, 24 Jan 2015 01:42:42 +0100 Subject: [PATCH] use same CSS styles as rest of Debian's web pages MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit applied patch from http://bugs.debian.org/728455 by StÃ©phane Blondon --- dohtml | 46 +++++++++++++++++++++++++++++++++++++++------- 1 file changed, 39 insertions(+), 7 deletions(-) diff --git a/dohtml b/dohtml index b005949..1cf6995 100755 --- a/dohtml +++ b/dohtml @@ -14,15 +14,47 @@ html_header() { $title, $date -

$title

- -

$date

+ +

$title

+ +

$date

EOF } html_page_creation_notice() { cat <

This page is automatically generated.
Please contact @@ -57,9 +89,9 @@ realmakepage() { cat <for distribution(s): $descr

for distribution(s): $descr

You might also want to check out UDD instead of this page.

@@ -104,7 +136,7 @@ makemainpage() { cat < +

EOF ./bugreport -Hs @@ -112,7 +144,7 @@ EOF cat < -

Other graphs:

-- 2.39.2