ioguix/phppgadmin — pull request #1 by rjuju (2012-08-17 17:25:00+00:00)
Title: Handles specific themes for servers,users or db

Added configuration option in $conf['server'] part.
The config.inc.php-dist has been updated.

You can specify a theme to be used while connected on it. You can also overload it by user or by database name.
Overload priority :
specific_user > specific_db > specific_server > theme
There is no setting for a specific couple user/db.