From: jakubvrana Date: Mon, 1 Jun 2009 12:09:42 +0000 (+0000) Subject: Move version information from title to page X-Git-Tag: v3.0.0~889 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=5ce6201aa33f114f2dfd8b9f7e8b8d2be3d886db;p=adminer.git Move version information from title to page git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@636 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- diff --git a/default.css b/default.css index e3d4c7ac..fde72deb 100644 --- a/default.css +++ b/default.css @@ -2,8 +2,8 @@ body { color: #000; background: #fff; line-height: 1.25em; font-family: Verdana, a { color: blue; } a:visited { color: navy; } a:hover { color: red; } -h1 { font-size: 150%; margin: 0; padding: .8em 1em; border-bottom: 1px solid #999; font-weight: normal; background: #eee; font-style: italic; } -h1 a:link, h1 a:visited { color: #777; text-decoration: none; } +h1 { font-size: 100%; margin: 0; padding: .8em 1em; border-bottom: 1px solid #999; font-weight: normal; color: #777; background: #eee; } +h1 a:link, h1 a:visited { font-size: 150%; color: #777; text-decoration: none; font-style: italic; margin-right: 1ex; } h2 { font-size: 150%; margin: 0 0 20px -18px; padding: .8em 1em; border-bottom: 1px solid #000; color: #000; font-weight: normal; background: #ddf; } h3 { font-weight: normal; font-size: 130%; margin: .8em 0; } table { margin: 0 20px .8em 0; border: 0; border-top: 1px solid #999; border-left: 1px solid #999; font-size: 90%; } diff --git a/include/design.inc.php b/include/design.inc.php index 22c792e8..1683ccbd 100644 --- a/include/design.inc.php +++ b/include/design.inc.php @@ -1,6 +1,6 @@ @@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { -<?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " $VERSION"; ?> +<?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin'); ?> @@ -55,13 +55,13 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { } function page_footer($missing = false) { - global $SELF, $dbh; + global $SELF, $dbh, $VERSION; ?>