mithril-security/starcoder_memorization_checker

1from gradio.themes.base import Base2from gradio.themes.utils import colors, fonts, sizes3from typing import Iterable4 5class Style(Base):6    def __init__(7        self,8        *,9        primary_hue: colors.Color | str = colors.neutral,10        secondary_hue: colors.Color | str = colors.neutral,11        neutral_hue: colors.Color | str = colors.neutral,12        spacing_size: sizes.Size | str = sizes.spacing_md,13        radius_size: sizes.Size | str = sizes.radius_md,14        text_size: sizes.Size | str = sizes.text_md,15        font: fonts.Font16        | str17        | Iterable[fonts.Font | str] = (fonts.GoogleFont("Sora")),18        font_mono: fonts.Font19        | str20        | Iterable[fonts.Font | str] = (fonts.GoogleFont("Sora")),21    ):22        super().__init__(23            primary_hue=primary_hue,24            secondary_hue=secondary_hue,25            neutral_hue=neutral_hue,26            spacing_size=spacing_size,27            radius_size=radius_size,28            text_size=text_size,29            font=font,30            font_mono=font_mono,31        )32        super().set(33            background_fill_primary="#f8f9fa",  # Very light gray background color34            background_fill_primary_dark="#f8f9fa",  # Very light gray background color35            background_fill_secondary="#e9ecef",  # Light gray background color36            background_fill_secondary_dark="#e9ecef",  # Light gray background color37            block_background_fill="#f8f9fa",  # Very light gray background color38            block_background_fill_dark="#f8f9fa",  # Very light gray background color39            40            border_color_primary="#ced4da",  # Light border color41            border_color_primary_dark="#ced4da",  # Light border color42            43            link_text_color="#6c757d",  # Subdued gray link color44            link_text_color_dark="#6c757d",  # Subdued gray link color45            46            block_info_text_color="#212529",  # Dark text color47            block_info_text_color_dark="#212529",  # Dark text48            49            block_border_color="#ced4da",  # Light border color50            block_border_color_dark="#ced4da",  # Light border color51            block_shadow="*shadow_drop_lg",52            53            input_background_fill="#ffffff",  # Light background color54            input_background_fill_dark="#ffffff",  # Light background color55            input_border_color="#ced4da",  # Light border color56            input_border_color_dark="#ced4da",  # Light border color57            input_border_width="2px",58            59            block_label_background_fill="#f8f9fa",  # Very light gray background color60            block_label_background_fill_dark="#f8f9fa",  # Very light gray background color61            block_label_text_color="#212529",  # Dark text color62            block_label_text_color_dark="#212529",  # Dark text color63            64            button_primary_background_fill="#343a40",  # Dark gray background color65            button_primary_border_color_dark="#343a40",  # Dark gray border color66            button_primary_text_color="white",  # Light text color67            button_secondary_text_color_dark="black",  # Light text color68            button_shadow="*shadow_drop_lg",69            70            block_title_background_fill="#f8f9fa",  # Very light gray background color71            block_title_background_fill_dark="#f8f9fa",  # Very light gray background color72            block_title_radius="*radius_sm",73            block_title_text_color="#212529",  # Dark text color74            block_title_text_color_dark="#212529",  # Dark text color75            block_title_text_size="*text_lg",76            block_title_border_width="0px",  # Border width77            block_title_border_width_dark="0px",  # Border width78            block_title_border_color="#ced4da",  # Light border color79            block_title_border_color_dark="#ced4da",  # Light border color80            block_title_text_weight="600",81            82            body_background_fill="#f8f9fa",  # Very light gray background color83            body_background_fill_dark="#f8f9fa",  # Very light gray background color84            body_text_color="#212529",  # Dark text color85            body_text_color_dark="#212529",  # Dark text color86            body_text_color_subdued="#212529",  # Subdued gray text color87            body_text_color_subdued_dark="#212529",  # Subdued gray text color88            89            slider_color="#212529",  # Subdued gray slider color90            slider_color_dark="#212529",  # Subdued gray slider color91 92    93        )