Use the RTD theme if available