update doc
Apply Piem's patch to disable rdt theme for the doc. But the special nice theme remains in the doc branch..