I just updated demo server to avoid gap between current development code and demo caused by long anonymous CVS outage on sourceforge.
As special bonus HEAD demo now contains all themes which are available on phpMyAdmin site, enjoy various colours of phpMyAdmin! (Please note that not all themes are up to date with current code, so something might not look perfectly.)
