ReadTheDocs hack to use default theme