Editing File: /usr/share/doc/phpmyadmin/html/themes.html