improved database group display

libraries/List_Database.class.php

@@ -371,7 +371,7 @@ require_once './libraries/List.class.php';
         $return = '<ul id="databaseList" xml:lang="en" dir="ltr">' . "\n";
         foreach ($this->getGroupedDetails($offset, $count) as $group => $dbs) {
             if (count($dbs) > 1) {
-                $return .= '<li>' . htmlspecialchars($group) . '<ul>' . "\n";
+                $return .= '<li><span>' . htmlspecialchars($group) . '</span><ul>' . "\n";
                 // whether display db_name cut by the group part
                 $cut = true;
             } else {

themes/pmahomme/css/theme_left.css.php

@@ -101,6 +101,10 @@ ul#databaseList {
     font-style: italic;
 }
 
+ul#databaseList span {
+    padding: 5px;
+}
+
 ul#databaseList a {
     display: block;
     padding:5px;