docs: let RTD use the default theme