use default theme, so we can evolve with RTD's design efforts.