Update app.py

app.py

@@ -153,285 +153,11 @@ def build_trace(problem, displayed, first_fail, done=False):
     return f"{rows}{summary}"
 
 
-# ── CSS (SaaS / Modern Professional Upgrade) ──────────────────────────────────
+# ── CSS (Claude + Apple Aesthetic) ────────────────────────────────────────────
 CSS = """
-@import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700&family=JetBrains+Mono:wght@400;500;600&display=swap');
+@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;600&display=swap');
 
-/* Globals */
+/* Base System Typography & Resets */
 *, *::before, *::after { box-sizing: border-box; }
 body, .gradio-container, .gradio-container * {
-    font-family: 'Inter', -apple-system, sans-serif !important;
-}
-.gradio-container {
-    background-color: #f8fafc !important;
-    max-width: 1280px !important;
-}
-
-/* Header */
-.twt-header {
-    text-align: center;
-    padding: 3rem 1rem 2rem;
-    margin-bottom: 2.5rem;
-    background: transparent;
-    border-bottom: 1px solid #e2e8f0;
-}
-.twt-title {
-    font-size: 2.75rem;
-    font-weight: 800;
-    letter-spacing: -0.04em;
-    color: #0f172a;
-    font-family: 'JetBrains Mono', monospace !important;
-    margin-bottom: 0.5rem;
-}
-.twt-title span {
-    background: linear-gradient(135deg, #7c3aed 0%, #4f46e5 100%);
-    -webkit-background-clip: text;
-    -webkit-text-fill-color: transparent;
-}
-.twt-sub {
-    font-size: 0.85rem;
-    color: #64748b;
-    letter-spacing: 0.05em;
-    font-weight: 500;
-}
-
-/* Typography & Labels */
-.input-label, .panel-label {
-    font-size: 0.75rem;
-    font-weight: 700;
-    color: #475569;
-    letter-spacing: 0.1em;
-    text-transform: uppercase;
-    margin-bottom: 0.75rem;
-    display: block;
-}
-.panel-label {
-    padding-bottom: 0.5rem;
-    border-bottom: 2px solid #e2e8f0;
-}
-
-/* Inputs & Forms */
-textarea {
-    background: #ffffff !important;
-    border: 1px solid #cbd5e1 !important;
-    border-radius: 12px !important;
-    color: #0f172a !important;
-    font-size: 0.95rem !important;
-    line-height: 1.6 !important;
-    padding: 1rem !important;
-    box-shadow: 0 1px 2px 0 rgba(0, 0, 0, 0.05) !important;
-    transition: all 0.2s ease-in-out !important;
-}
-textarea:focus {
-    border-color: #7c3aed !important;
-    box-shadow: 0 0 0 4px rgba(124, 58, 237, 0.15) !important;
-    outline: none !important;
-}
-textarea::placeholder { color: #94a3b8 !important; }
-
-/* Primary Button */
-button.primary {
-    background: linear-gradient(135deg, #7c3aed 0%, #6d28d9 100%) !important;
-    color: #ffffff !important;
-    font-weight: 600 !important;
-    border: none !important;
-    border-radius: 10px !important;
-    padding: 0.75rem 1.5rem !important;
-    font-size: 0.95rem !important;
-    letter-spacing: 0.02em !important;
-    box-shadow: 0 4px 6px -1px rgba(124, 58, 237, 0.3), 0 2px 4px -1px rgba(124, 58, 237, 0.2) !important;
-    transition: all 0.2s ease !important;
-    cursor: pointer !important;
-    width: 100% !important;
-}
-button.primary:hover {
-    transform: translateY(-2px) !important;
-    box-shadow: 0 10px 15px -3px rgba(124, 58, 237, 0.3), 0 4px 6px -2px rgba(124, 58, 237, 0.2) !important;
-}
-button.primary:active {
-    transform: translateY(0) !important;
-}
-
-/* Step Cards */
-.step-card {
-    display: flex;
-    align-items: flex-start;
-    gap: 1rem;
-    padding: 1.25rem;
-    margin-bottom: 0.75rem;
-    background: #ffffff;
-    border: 1px solid #e2e8f0;
-    border-radius: 12px;
-    font-size: 0.9rem;
-    line-height: 1.6;
-    animation: fadeUp 0.3s cubic-bezier(0.16, 1, 0.3, 1) both;
-    box-shadow: 0 1px 3px 0 rgba(0, 0, 0, 0.05), 0 1px 2px -1px rgba(0, 0, 0, 0.05);
-    transition: box-shadow 0.2s ease, border-color 0.2s ease;
-}
-.step-card:hover {
-    box-shadow: 0 4px 6px -1px rgba(0, 0, 0, 0.05), 0 2px 4px -2px rgba(0, 0, 0, 0.05);
-    border-color: #cbd5e1;
-}
-.step-card.step-fault {
-    border: 1px solid #fecaca;
-    background: #fff1f2;
-}
-.step-card.step-fault:hover {
-    border-color: #fca5a5;
-}
-
-@keyframes fadeUp {
-    from { opacity: 0; transform: translateY(12px); }
-    to   { opacity: 1; transform: translateY(0); }
-}
-
-.step-icon {
-    font-size: 1.1rem;
-    flex-shrink: 0;
-    margin-top: 2px;
-}
-.step-text {
-    flex: 1;
-    color: #1e293b;
-}
-
-/* Badges */
-.badge {
-    flex-shrink: 0;
-    font-size: 0.65rem;
-    font-weight: 700;
-    font-family: 'JetBrains Mono', monospace !important;
-    letter-spacing: 0.05em;
-    padding: 0.25rem 0.75rem;
-    border-radius: 999px; /* Pill shape */
-    align-self: flex-start;
-    margin-top: 2px;
-}
-.badge-ok    { background: #ecfdf5; color: #059669; border: 1px solid #a7f3d0; }
-.badge-fail  { background: #fef2f2; color: #dc2626; border: 1px solid #fecaca; }
-.badge-final { background: #f3e8ff; color: #7c3aed; border: 1px solid #d8b4fe; }
-
-/* Trace Panel */
-.trace-row {
-    display: flex;
-    align-items: center;
-    gap: 0.75rem;
-    font-size: 0.8rem;
-    color: #334155;
-    font-family: 'JetBrains Mono', monospace !important;
-    padding: 0.5rem 0;
-    border-bottom: 1px solid #f1f5f9;
-}
-.trace-conf {
-    color: #94a3b8;
-    font-weight: 500;
-}
-.dot {
-    width: 10px; height: 10px;
-    border-radius: 50%;
-    flex-shrink: 0;
-}
-.dot-ok    { background: #10b981; box-shadow: 0 0 0 3px #d1fae5; }
-.dot-fail  { background: #ef4444; box-shadow: 0 0 0 3px #fee2e2; }
-.dot-final { background: #8b5cf6; box-shadow: 0 0 0 3px #ede9fe; }
-
-.trace-summary {
-    margin-top: 1.5rem;
-    padding-top: 1rem;
-    border-top: 1px solid #e2e8f0;
-}
-.trace-label {
-    font-size: 0.7rem;
-    font-weight: 700;
-    color: #475569;
-    text-transform: uppercase;
-    letter-spacing: 0.1em;
-    margin-bottom: 0.5rem;
-}
-.trace-bar-bg {
-    background: #e2e8f0;
-    border-radius: 999px;
-    height: 8px;
-    overflow: hidden;
-}
-.trace-bar {
-    height: 100%;
-    border-radius: 999px;
-    transition: width 0.8s cubic-bezier(0.16, 1, 0.3, 1);
-}
-.trace-pct {
-    font-size: 0.75rem;
-    color: #334155;
-    margin-top: 0.4rem;
-    font-family: 'JetBrains Mono', monospace !important;
-    font-weight: 600;
-}
-
-/* System Messages */
-.msg {
-    padding: 1rem 1.25rem;
-    border-radius: 10px;
-    font-size: 0.85rem;
-    font-weight: 500;
-}
-.msg.warn  { background: #fffbeb; color: #b45309; border: 1px solid #fde68a; }
-.msg.error { background: #fef2f2; color: #dc2626; border: 1px solid #fecaca; }
-.msg.empty {
-    color: #94a3b8;
-    font-size: 0.85rem;
-    font-family: 'JetBrains Mono', monospace !important;
-    padding: 1.5rem 1rem;
-    text-align: center;
-    border: 1px dashed #cbd5e1;
-    border-radius: 12px;
-}
-
-/* Gradio Overrides */
-.gradio-container .prose { color: #1e293b !important; }
-.gr-box, .gr-form { background: transparent !important; border: none !important; }
-"""
-
-# ── Layout ────────────────────────────────────────────────────────────────────
-HEADER = """
-<div class='twt-header'>
-    <div class='twt-title'>Think<span>While</span>Thinking</div>
-    <div class='twt-sub'>Real-time reasoning failure detection · Step-level process supervision</div>
-</div>
-"""
-
-EXAMPLES = [
-    "If a bat and a ball cost $1.10 in total, and the bat costs $1 more than the ball, how much does the ball cost?",
-    "A farmer has 17 sheep. All but 9 die. How many sheep are left?",
-    "What is 15% of 80? Then add that to 25% of 60.",
-    "If you have a 3-gallon jug and a 5-gallon jug, how do you measure exactly 4 gallons?",
-]
-
-with gr.Blocks(css=CSS, title="ThinkWhileThinking") as demo:
-    gr.HTML(HEADER)
-    with gr.Row():
-        with gr.Column(scale=2):
-            gr.HTML("<div class='input-label'>Problem</div>")
-            problem_input = gr.Textbox(
-                placeholder="Enter a math, logic, or reasoning problem...",
-                lines=5,
-                show_label=False,
-            )
-            run_btn = gr.Button("▶  Analyze Reasoning", variant="primary")
-            gr.Examples(examples=EXAMPLES, inputs=problem_input, label="Try an example")
-        with gr.Column(scale=3):
-            with gr.Row():
-                with gr.Column(scale=3):
-                    gr.HTML("<div class='panel-label'>Chain of Thought · Step Scores</div>")
-                    cot_output = gr.HTML(
-                        value="<div class='msg empty'>// awaiting problem input</div>"
-                    )
-                with gr.Column(scale=1):
-                    gr.HTML("<div class='panel-label'>Step Trace</div>")
-                    trace_output = gr.HTML(
-                        value="<div class='msg empty'>// trace</div>"
-                    )
-    raw_output = gr.Textbox(visible=False)
-    run_btn.click(fn=run_twt, inputs=[problem_input], outputs=[raw_output, cot_output, trace_output])
-    problem_input.submit(fn=run_twt, inputs=[problem_input], outputs=[raw_output, cot_output, trace_output])
-
-demo.launch()
+    font-family: -apple-