Setting a new Adminer theme

I was wondering where I could change the ugly default theme Adminer ships with. I will be replacing it with this one:

I just need to know where Adminer resides so i can replace the CSS file with the new theme.

For anyone else looking to change the theme of adminer, simply download the theme link above and put the adminer.css file into the root we directory e.g. Local Sites/site_name/app/public (the same location the local-adminer php file resides. Enjoy :slight_smile: