Use RTD theme only locally