phpPgAdmin

Ppa has the posibility to change the theme in the conf.inc scripts, but you
cannot set a different theme per server.

When you have 5 or more server you could make a mistake executing an sql
statement in a wrong server.

Having a different theme per server could help to avoid this mistake.

The changes on the code are very easy, you have to commit this changes on
classes/Misc.php

// Theme
$server_info = $this->getServerInfo();
if(!empty($server_info['theme'])) {
echo "<link rel=\"stylesheet\"
href=\"themes/{$server_info['theme']}/global.css\" type=\"text/css\"
/>\n";
} else {
echo "<link rel=\"stylesheet\"
href=\"themes/{$conf['theme']}/global.css\" type=\"text/css\" />\n";
}

and config the theme in the conf.inc

$conf['servers'][0]['theme'] = 'theme_server_cero';

I think it is a good idea,

Enrique