KarlLearnsAI commited on
Commit
c7dddaa
Β·
verified Β·
1 Parent(s): 934b4ac

Upload app.py with huggingface_hub

Browse files
Files changed (1) hide show
  1. app.py +12 -13
app.py CHANGED
@@ -71,19 +71,19 @@ def create_reward_chart():
71
  fig.tight_layout(pad=1.5)
72
  return fig
73
  # ── Build the Gradio app ──
 
 
 
 
 
 
 
 
 
 
 
74
  with gr.Blocks(
75
  title="Nested RL Environments β€” AI Oversight",
76
- theme=gr.themes.Base(
77
- primary_hue="cyan",
78
- neutral_hue="slate",
79
- ),
80
- css="""
81
- .gradio-container { background: #0a0e17 !important; }
82
- .main-header { text-align: center; margin-bottom: 8px; }
83
- .main-header h1 { color: #e2e8f0; font-family: monospace; }
84
- .main-header p { color: #64748b; font-family: monospace; font-size: 14px; }
85
- .section-label { color: #94a3b8 !important; font-family: monospace !important; }
86
- """,
87
  ) as demo:
88
  # Header
89
  gr.HTML("""
@@ -100,7 +100,6 @@ with gr.Blocks(
100
  value="assets/architecture.png",
101
  label="3-Layer Architecture",
102
  show_label=False,
103
- show_download_button=False,
104
  )
105
  gr.Markdown("""
106
  ---
@@ -124,4 +123,4 @@ with gr.Blocks(
124
  """,
125
  )
126
  if __name__ == "__main__":
127
- demo.launch(server_name="0.0.0.0", server_port=7860)
 
71
  fig.tight_layout(pad=1.5)
72
  return fig
73
  # ── Build the Gradio app ──
74
+ _theme = gr.themes.Base(
75
+ primary_hue="cyan",
76
+ neutral_hue="slate",
77
+ )
78
+ _css = """
79
+ .gradio-container { background: #0a0e17 !important; }
80
+ .main-header { text-align: center; margin-bottom: 8px; }
81
+ .main-header h1 { color: #e2e8f0; font-family: monospace; }
82
+ .main-header p { color: #64748b; font-family: monospace; font-size: 14px; }
83
+ .section-label { color: #94a3b8 !important; font-family: monospace !important; }
84
+ """
85
  with gr.Blocks(
86
  title="Nested RL Environments β€” AI Oversight",
 
 
 
 
 
 
 
 
 
 
 
87
  ) as demo:
88
  # Header
89
  gr.HTML("""
 
100
  value="assets/architecture.png",
101
  label="3-Layer Architecture",
102
  show_label=False,
 
103
  )
104
  gr.Markdown("""
105
  ---
 
123
  """,
124
  )
125
  if __name__ == "__main__":
126
+ demo.launch(server_name="0.0.0.0", server_port=7860, theme=_theme, css=_css)