Spaces:
Sleeping
Sleeping
File size: 2,026 Bytes
6960ade | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | from __future__ import annotations
from typing import Iterable
import gradio as gr
from gradio.themes.soft import Soft
from gradio.themes.utils import colors, fonts, sizes
import time
class SoftBlue(Soft):
def __init__(
self,
*,
primary_hue: colors.Color | str = colors.cyan,
secondary_hue: colors.Color | str = colors.indigo,
neutral_hue: colors.Color | str = colors.sky,
spacing_size: sizes.Size | str = sizes.spacing_md,
radius_size: sizes.Size | str = sizes.radius_md,
text_size: sizes.Size | str = sizes.text_lg,
font: fonts.Font
| str
| Iterable[fonts.Font | str] = (
fonts.GoogleFont("Quicksand"),
"ui-sans-serif",
"sans-serif",
),
font_mono: fonts.Font
| str
| Iterable[fonts.Font | str] = (
fonts.GoogleFont("IBM Plex Mono"),
"ui-monospace",
"monospace",
),
):
super().__init__(
primary_hue=primary_hue,
secondary_hue=secondary_hue,
neutral_hue=neutral_hue,
spacing_size=spacing_size,
radius_size=radius_size,
text_size=text_size,
font=font,
font_mono=font_mono,
)
# html font style accepts a string heading or body and returns the style for that element, should follow styles in class with exception that heading is +2 pts and bold
def html_font_style(self, element: str) -> str:
if element == "heading":
return f"font-family: {self.font_mono}; font-size: {self.text_sm}; font-weight: bold;"
elif element == "body":
return f"font-family: {self.font_mono}; font-size: {self.text_sm};"
elif element == "mono":
return f"font-family: {self.font_mono}; font-size: {self.text_sm};"
else:
raise ValueError(
f"Element must be one of 'heading', 'body', or 'mono', not {element}"
)
|