use default theme, so we can evolve with RTD's design efforts.
remove old docs theme files