Spaces:
Running
Running
Sync UI from kosmonautical/openhands-index-paul with show_all_labels feature preserved
734891b verified | # Single source of truth for styling constants | |
| # Aligned with OpenHands-Design (Inter + JetBrains Mono) | |
| # Font settings | |
| FONT_FAMILY = "'Inter', system-ui, sans-serif" | |
| FONT_FAMILY_MONO = "'JetBrains Mono', ui-monospace, monospace" | |
| FONT_MONO_NAME = "JetBrains Mono" # First font for gr.themes.Base(font_mono=...) | |
| FONT_FAMILY_SHORT = "Inter" # Gradio theme / primary stack name | |
| # Marker options for plot icons | |
| MARK_BY_COMPANY = "Company" | |
| MARK_BY_OPENNESS = "Openness" | |
| MARK_BY_COUNTRY = "Country" | |
| MARK_BY_CHOICES = [MARK_BY_COMPANY, MARK_BY_OPENNESS, MARK_BY_COUNTRY] | |
| MARK_BY_DEFAULT = MARK_BY_COMPANY | |