Re: [Phpmyadmin-devel] Which theme should be used for CSS changes