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