diff --git a/auth.inc.php b/auth.inc.php index 8131f20c..d9731440 100644 --- a/auth.inc.php +++ b/auth.inc.php @@ -11,12 +11,9 @@ if (isset($_POST["server"])) { if (isset($_GET["logout"]) || !@mysql_connect($_GET["server"], $_SESSION["username"], $_SESSION["password"])) { page_header(lang('Login'), "auth"); - ?> -
- " . lang('Logout successful.') . "\n"; - } elseif (isset($_GET["server"])) { + } elseif (isset($_SESSION["username"])) { echo "" . lang('Invalid credentials.') . "
\n"; } ?> diff --git a/design.inc.php b/design.inc.php index 8303e82e..f0723278 100644 --- a/design.inc.php +++ b/design.inc.php @@ -12,24 +12,22 @@ function page_header($title, $missing = false) { BODY { color: Black; background-color: White; } A { color: Blue; } A:visited { color: Navy; } +H1 { font-size: 150%; margin: 0; } +H1 A { color: Black; } H2 { font-size: 150%; margin-top: 0; } .error { color: Red; } .message { color: Green; } #menu { float: left; width: 15em; overflow: auto; white-space: nowrap; } -#menu H1 { font-size: 150%; margin: 0; } -#menu H1 A { color: Black; } #content { margin-left: 16em; } -