Migrate to Gradio 6 API: theme/css/head to launch(), remove Chatbot type param

app.py

@@ -829,15 +829,6 @@ CUSTOM_HEAD = """\
 # ---------------------------------------------------------------------------
 with gr.Blocks(
     title="Case Lantern 🏮",
-    theme=gr.themes.Base(
-        primary_hue="rose",
-        secondary_hue="teal",
-        neutral_hue="slate",
-        radius_size="lg",
-        font=[gr.themes.GoogleFont("Inter"), "Noto Sans SC", "system-ui", "sans-serif"],
-    ),
-    css=CUSTOM_CSS,
-    head=CUSTOM_HEAD,
 ) as demo:
     game_state = gr.State(GameState())
 
@@ -858,10 +849,8 @@ with gr.Blocks(
         with gr.Column(scale=3):
             chatbot = gr.Chatbot(
                 label="案件记录",
-                type="messages",
                 height=560,
                 show_copy_button=True,
-                avatar_images=(None, None),
                 elem_id="case-chat",
             )
 
@@ -942,6 +931,15 @@ if __name__ == "__main__":
     launch_kwargs = {
         "show_api": False,
         "share": os.getenv("GRADIO_SHARE", "false").lower() in {"1", "true", "yes", "on"},
+        "theme": gr.themes.Base(
+            primary_hue="rose",
+            secondary_hue="teal",
+            neutral_hue="slate",
+            radius_size="lg",
+            font=[gr.themes.GoogleFont("Inter"), "Noto Sans SC", "system-ui", "sans-serif"],
+        ),
+        "css": CUSTOM_CSS,
+        "head": CUSTOM_HEAD,
     }
     if os.getenv("GRADIO_SERVER_NAME"):
         launch_kwargs["server_name"] = os.getenv("GRADIO_SERVER_NAME")