My modifications to the sphinx ReadTheDocs theme