openenv/echo_env

1# SPDX-License-Identifier: BSD-3-Clause2 3"""Unified terminal-style theme for OpenEnv Gradio UI (light/dark)."""4 5from __future__ import annotations6 7import gradio as gr8 9_MONO_FONTS = (10    "JetBrains Mono",11    "Fira Code",12    "Cascadia Code",13    "Consolas",14    "ui-monospace",15    "monospace",16)17 18_CORE_FONT = (19    "Lato",20    "Inter",21    "Arial",22    "Helvetica",23    "sans-serif",24)25 26_ZERO_RADIUS = gr.themes.Size(27    xxs="0px",28    xs="0px",29    sm="0px",30    md="0px",31    lg="0px",32    xl="0px",33    xxl="0px",34)35 36_GREEN_HUE = gr.themes.Color(37    c50="#e6f4ea",38    c100="#ceead6",39    c200="#a8dab5",40    c300="#6fcc8b",41    c400="#3fb950",42    c500="#238636",43    c600="#1a7f37",44    c700="#116329",45    c800="#0a4620",46    c900="#033a16",47    c950="#04200d",48)49 50_NEUTRAL_HUE = gr.themes.Color(51    c50="#f6f8fa",52    c100="#eaeef2",53    c200="#d0d7de",54    c300="#afb8c1",55    c400="#8c959f",56    c500="#6e7781",57    c600="#57606a",58    c700="#424a53",59    c800="#32383f",60    c900="#24292f",61    c950="#1b1f24",62)63 64OPENENV_GRADIO_THEME = gr.themes.Base(65    primary_hue=_GREEN_HUE,66    secondary_hue=_NEUTRAL_HUE,67    neutral_hue=_NEUTRAL_HUE,68    font=_CORE_FONT,69    font_mono=_MONO_FONTS,70    radius_size=_ZERO_RADIUS,71).set(72    body_background_fill="#ffffff",73    background_fill_primary="#ffffff",74    background_fill_secondary="#f6f8fa",75    block_background_fill="#ffffff",76    block_border_color="#ffffff",77    block_label_text_color="#57606a",78    block_title_text_color="#24292f",79    border_color_primary="#d0d7de",80    input_background_fill="#ffffff",81    input_border_color="#d0d7de",82    button_primary_background_fill="#1a7f37",83    button_primary_background_fill_hover="#116329",84    button_primary_text_color="#ffffff",85    button_secondary_background_fill="#f6f8fa",86    button_secondary_background_fill_hover="#eaeef2",87    button_secondary_text_color="#24292f",88    button_secondary_border_color="#d0d7de",89    body_background_fill_dark="#0d1117",90    background_fill_primary_dark="#0d1117",91    background_fill_secondary_dark="#0d1117",92    block_background_fill_dark="#0d1117",93    block_border_color_dark="#0d1117",94    block_label_text_color_dark="#8b949e",95    block_title_text_color_dark="#c9d1d9",96    border_color_primary_dark="#30363d",97    input_background_fill_dark="#0d1117",98    input_border_color_dark="#30363d",99    button_primary_background_fill_dark="#30363d",100    button_primary_background_fill_hover_dark="#484f58",101    button_primary_text_color_dark="#c9d1d9",102    button_secondary_background_fill_dark="#21262d",103    button_secondary_background_fill_hover_dark="#30363d",104    button_secondary_text_color_dark="#c9d1d9",105    button_secondary_border_color_dark="#30363d",106)107 108OPENENV_GRADIO_CSS = """109* { border-radius: 0 !important; }110.col-left { padding: 16px !important; }111.col-right { padding: 16px !important; }112.prose, .markdown-text, .md,113.prose > *, .markdown-text > * {114    background: transparent !important;115    border: none !important;116    box-shadow: none !important;117}118.dark .col-left {119    border-left-color: rgba(139, 148, 158, 0.4) !important;120}121.dark .col-right {122    border-left-color: rgba(201, 209, 217, 0.3) !important;123}124"""125