diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php
index c567d37f..e82be4e2 100644
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@@ -34,7 +34,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
document.body.className = document.body.className.replace(/ nojs/, ' js');
-
+
then it mouse overs border of