]> git.joonet.de Git - adminer.git/commitdiff
projects / adminer.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 03231f9)
Move version information from title to page
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Mon, 1 Jun 2009 12:09:42 +0000 (12:09 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Mon, 1 Jun 2009 12:09:42 +0000 (12:09 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@636 7c3ca157-0c34-0410-bff1-cbf682f78f5c

default.css patch | blob | history
include/design.inc.php patch | blob | history

diff --git a/default.css b/default.css
index e3d4c7acb71d867e896f069f701fa9ed837d8904..fde72deb05366017103a4a3d723367aab3f0ab8b 100644 (file)
--- 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 22c792e8e1df8fdbe8c9dfe392f98a8bcc81331c..1683ccbd521428e035b8c461f046e737e9e8fd88 100644 (file)
--- a/include/design.inc.php
+++ b/include/design.inc.php
@@ -1,6 +1,6 @@
 <?php
 function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
-       global $SELF, $LANG, $VERSION;
+       global $SELF, $LANG;
        header("Content-Type: text/html; charset=utf-8");
        ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
@@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta http-equiv="Content-Script-Type" content="text/javascript" />
 <meta name="robots" content="noindex" />
-<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " $VERSION"; ?></title>
+<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin'); ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css<?php // Ondrej Valka, http://valka.info ?>" />
 <?php if (file_exists("phpMinAdmin.css")) { ?>
@@ -55,13 +55,13 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 }
 
 function page_footer($missing = false) {
-       global $SELF, $dbh;
+       global $SELF, $dbh, $VERSION;
        ?>
 </div>
 
 <?php switch_lang(); ?>
 <div id="menu">
-<h1><a href="http://www.phpminadmin.net/"><?php echo lang('phpMinAdmin'); ?></a></h1>
+<h1><a href="http://www.phpminadmin.net/"><?php echo lang('phpMinAdmin'); ?></a> <?php echo $VERSION; ?></h1>
 <?php if ($missing != "auth") { ?>
 <form action="" method="post">
 <p>
Sources of adminer, a webclient for database management systems.