[phpMyAdmin Git] [phpmyadmin/phpmyadmin] e77fdc: Switch the theme used when building our HTML documents to the Read The Docs theme (rtd)