Upload folder using huggingface_hub

app.py

@@ -701,16 +701,54 @@ def initial_load(model_id: str, system_prompt: str, user_prompt: str, s: Session
 
 # ── Gradio UI ─────────────────────────────────────────────────────────────
 CSS = """
-.gradio-container { max-width: 100% !important; }
-/* Compact top control row */
-#topbar .gr-textbox textarea, #topbar .gr-textbox input { font-size: 12px !important; padding: 4px 6px !important; }
-#topbar label { font-size: 11px !important; }
-#topbar .gr-form { padding: 4px !important; }
-.pane { border: 1px solid #444; border-radius: 4px; background: #0d1117; color: #c9d1d9;
+/* ── Global tightening ── */
+.gradio-container { max-width: 100% !important; padding: 8px 12px !important; }
+.gradio-container .main { padding: 0 !important; gap: 6px !important; }
+.gradio-container .gap, .gradio-container .form { gap: 6px !important; }
+.gradio-container .block { padding: 4px !important; border-radius: 4px !important; }
+.gradio-container .gr-block { padding: 0 !important; }
+
+/* ── Header: kill the giant title margins ── */
+#hdr h1 { font-size: 18px !important; margin: 0 !important; padding: 0 !important; line-height: 1.2 !important; }
+#hdr p, #hdr em { font-size: 11px !important; margin: 0 !important; padding: 0 !important;
+                  color: #8b949e !important; line-height: 1.2 !important; }
+#hdr { margin: 0 !important; padding: 4px 0 !important; }
+
+/* ── Top bar: compact textboxes ── */
+#topbar { gap: 6px !important; }
+#topbar > div { padding: 0 !important; }
+#topbar textarea, #topbar input[type="text"] {
+    font-size: 12px !important; padding: 4px 6px !important; min-height: 28px !important;
+    line-height: 1.3 !important;
+}
+#topbar label, #topbar .gr-text-input label, #topbar span[data-testid="block-label"] {
+    font-size: 10px !important; padding: 0 0 2px 0 !important; margin: 0 !important;
+    text-transform: uppercase; letter-spacing: 0.5px; color: #8b949e !important;
+}
+#topbar button { min-height: 56px !important; align-self: stretch !important;
+                 font-size: 13px !important; padding: 4px 8px !important; }
+
+/* ── CMD bar tightening ── */
+#cmdbar textarea, #cmdbar input[type="text"] {
+    font-size: 12px !important; padding: 4px 8px !important; min-height: 28px !important;
+    font-family: 'JetBrains Mono', 'Fira Code', Consolas, monospace !important;
+}
+#cmdbar label, #cmdbar span[data-testid="block-label"] {
+    font-size: 10px !important; color: #8b949e !important; margin: 0 !important; padding: 0 0 2px 0 !important;
+}
+#cmdbar button { min-height: 36px !important; font-size: 12px !important; }
+
+/* ── Help line (small, dim) ── */
+#help { font-size: 10.5px !important; color: #8b949e !important; margin: 2px 0 !important; padding: 0 !important; }
+#help code { font-size: 10.5px !important; padding: 0 2px !important; background: #161b22 !important; }
+#help p { margin: 0 !important; line-height: 1.5 !important; }
+
+/* ── Panes ── */
+.pane { border: 1px solid #30363d; border-radius: 4px; background: #0d1117; color: #c9d1d9;
         font-family: 'JetBrains Mono', 'Fira Code', Consolas, monospace; font-size: 12px; }
-.pane h3 { margin: 0; padding: 4px 8px; background: #161b22; border-bottom: 1px solid #30363d;
-           font-size: 11px; letter-spacing: 0.5px; text-transform: uppercase; color: #8b949e; }
-.pane-body { padding: 6px 8px; max-height: 420px; overflow: auto; }
+.pane h3 { margin: 0; padding: 3px 8px; background: #161b22; border-bottom: 1px solid #30363d;
+           font-size: 10px; letter-spacing: 0.5px; text-transform: uppercase; color: #8b949e; }
+.pane-body { padding: 5px 8px; max-height: 440px; overflow: auto; }
 .pane-body.scroll { overflow: auto; }
 .dim { color: #6e7681; }
 .context-text { white-space: pre-wrap; word-break: break-word; margin-top: 4px; }
@@ -735,19 +773,16 @@ pre.spark { margin: 0; font-size: 11px; line-height: 1.1; }
 .prompt { color: #64D32A; }
 """
 
-HELP = """\
-**Commands** (REPL-style):
-`1`–`N` commit future · `1,5` commit + keep 5 tokens · `i <text>` inject ·
-`h * | h L | h L H` head-scan · `top R1,R2,...` rank-pick tokens ·
-`rew N` rewind · `spark <tok> [lo:hi]` rank scatter · `w N` width · `l N` length ·
-`mute L H` / `unmute L H` / `unmute all` / `muted` ·
-`r` refresh futures · `s` save log · `q` (no-op)
-"""
+HELP = (
+    "`1-N` commit · `1,5` commit+keep · `i <text>` inject · `h * | h L | h L H` scan · "
+    "`top R1,R2,…` rank-pick · `rew N` · `spark <tok> [lo:hi]` · `w N` width · `l N` len · "
+    "`mute L H` · `unmute L H` · `unmute all` · `muted` · `r` refresh · `s` save"
+)
 
 def build_ui():
     with gr.Blocks(title="Cartogemma", css=CSS, theme=gr.themes.Base()) as demo:
-        gr.Markdown("# Cartogemma  \n*Mechanistic probe (logit lens · head map · futures · rank sparkline) "
-                    "on the Gemma-3 family. Layout faithful to `cartographer3.py`.*")
+        gr.Markdown("# Cartogemma  \n*Mechanistic probe — logit lens · head map · futures · rank sparkline — "
+                    "on the Gemma-3 family.*", elem_id="hdr")
 
         session = gr.State(Session())
 
@@ -782,12 +817,12 @@ def build_ui():
         spark_pane = gr.HTML(value="<div class='pane'><h3>Sparkline</h3>"
                              "<div class='pane-body'><i>Run <code>spark &lt;token&gt;</code>.</i></div></div>")
 
-        gr.Markdown(HELP)
+        gr.Markdown(HELP, elem_id="help")
 
-        with gr.Row():
+        with gr.Row(elem_id="cmdbar"):
             cmd = gr.Textbox(label="CMD", placeholder="1-N | h * | top 1000,3,1 | spark the | mute 5 2 | …",
-                             scale=8, autofocus=True, lines=1, max_lines=1)
-            run_btn = gr.Button("Run", scale=1, variant="primary")
+                             scale=10, autofocus=True, lines=1, max_lines=1, container=True)
+            run_btn = gr.Button("Run", scale=1, variant="primary", min_width=70)
 
         status = gr.HTML(value="<div class='pane'><h3>Transcript</h3>"
                          "<div class='pane-body dim'>Ready.</div></div>")