Switch to RTD theme since the MDN theme is broken