diff --git a/adminer/default.css b/adminer/default.css index 0c6f6b97..dfe91f6e 100644 --- a/adminer/default.css +++ b/adminer/default.css @@ -16,8 +16,9 @@ code { background: #eee; } .js .hidden { display: none; } .nowrap { white-space: nowrap; } .wrap { white-space: normal; } -.error { color: red; background: #fee; padding: .5em .8em; } -.message { color: green; background: #efe; padding: .5em .8em; } +.error { color: red; background: #fee; } +.message { color: green; background: #efe; } +.error, .message { padding: .5em .8em; margin: 0 20px 1em 0; } .char { color: #007F00; } .date { color: #7F007F; } .enum { color: #007F7F; } diff --git a/adminer/include/design.inc.php b/adminer/include/design.inc.php index f3046352..d69c96dd 100644 --- a/adminer/include/design.inc.php +++ b/adminer/include/design.inc.php @@ -39,7 +39,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") { } echo "
$error
\n"; + echo "" . htmlspecialchars($query) . '
" . htmlspecialchars($query) . '' . lang('Edit') . ''; $_SESSION["history"][$_GET["server"]][$_GET["db"]][] = $query; } if ($execute) {