Support Gradio's theme API#8945
Conversation
|
Where do I look to find such themes? could you also tell me what font you've used here |
|
In this PR it's the The font is called Poppins |
|
This one is a touch to make decision on. Its small and nice, but I think the main tool for the developer of the theme should be css, not gradio theme stuff. Any non-default gradio theme then would mess up the chosen css for user. |
yes but... ;) new gradio finally uses well-formatted css, so its much easier to override variables in example of built-in theme css: .dark {
--body-text-color: var(--neutral-100);
--color-accent-soft: var(--neutral-700);
... |
|
Looks like some merge was done on the branch for this PR |
I've merged the PR into different fork, but WTF is github doing listing all totally unrelated items here. |
26034bf to
c9647c8
Compare
Describe what this pull request is trying to achieve.
Adds support for loading Gradio themes. Adds a "Gradio theme" config option
Additional notes and description of your changes
The list of available themes is taken from Hugging Face Hub
Environment this was tested in
List the environment you have developed / tested this on. As per the contributing page, changes should be able to work on Windows out of the box.
Screenshots or videos of your changes
Monochrome theme
Darcula theme
