Da ich auf Dark-Themes stehe, wundere ich mich, daß man zwar in Gradio "Dunkles Thema bevorzugen" auf "An" stellen kann; aber dann keines erscheint, weil wohl keines in Gradio vorhanden ist.
Wer weiß, wo ich ein dunkles Thema (Dark-Theme) für Gradio finden kann?