[doc] Use default theme for doc