diff --git a/ChangeLog b/ChangeLog index 11befa649..afcf6feaa 100755 --- a/ChangeLog +++ b/ChangeLog @@ -7,8 +7,10 @@ $Source$ 2006-07-06 Sebastian Mendel - * libraries/select_server.lib.php: make serverlist a real html-list - * main.php: move server selection above server details (more logical) + * libraries/select_server.lib.php, css/phpmyadmin.css.php: + make serverlist a real html-list + * main.php: move server selection above server + details (more logical) 2006-07-04 Marc Delisle * db_operations.php, tbl_properties_operations.php, diff --git a/css/phpmyadmin.css.php b/css/phpmyadmin.css.php index 391a14da8..04b575a4f 100644 --- a/css/phpmyadmin.css.php +++ b/css/phpmyadmin.css.php @@ -752,6 +752,20 @@ body.loginform div.container { width: 30em; margin: 0 auto; } + +#body_leftFrame #list_server { + list-style-image: url(..//original/img/s_host.png); + list-style-position: inside; + list-style-type: none; + margin: 0; + padding: 0; +} + +#body_leftFrame #list_server li { + margin: 0; + padding: 0; + font-size: 80%; +}