Hugging Face's logo

Spaces:
OpenHands
/
openhands-index
Running

App Files Community
36

Sync constants.py from kosmonautical/openhands-index-paul

#25
by juan-all-hands - opened
base: refs/heads/main
←
from: refs/pr/25
Discussion Files changed
+5
-2
Files changed (1) hide show
  1. constants.py +5 -2
constants.py CHANGED
@@ -1,8 +1,11 @@
1
  # Single source of truth for styling constants
 
2
 
3
  # Font settings
4
- FONT_FAMILY = "Arial, sans-serif"
5
- FONT_FAMILY_SHORT = "Arial" # For places that don't accept fallbacks
 
 
6
 
7
  # Marker options for plot icons
8
  MARK_BY_COMPANY = "Company"
 
1
  # Single source of truth for styling constants
2
+ # Aligned with OpenHands-Design (Inter + JetBrains Mono)
3
 
4
  # Font settings
5
+ FONT_FAMILY = "'Inter', system-ui, sans-serif"
6
+ FONT_FAMILY_MONO = "'JetBrains Mono', ui-monospace, monospace"
7
+ FONT_MONO_NAME = "JetBrains Mono" # First font for gr.themes.Base(font_mono=...)
8
+ FONT_FAMILY_SHORT = "Inter" # Gradio theme / primary stack name
9
 
10
  # Marker options for plot icons
11
  MARK_BY_COMPANY = "Company"