Build with the RTD theme if it is installed.