Check if RTD theme is installed and then use it

If it's not, the default will be used as previously.