Remove old doc theme