[docs] use a different theme