openenv/coding_env

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