Settings: hide the app URL printed in Gradio's Settings header

Gradio's Settings header rendered "Settings <app-url>" (tinyarmy.noods.cc in
prod). Hide that .url div so the header just reads "Settings".

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

web/shell/persona.css

@@ -255,6 +255,8 @@
 }
 .tac-set-section * { box-sizing: border-box; }
 .tac-set-section .model-bar { border-bottom: 0; padding-bottom: 0; }
+/* Gradio's Settings header prints the app URL under the "Settings" title — hide it. */
+.banner-wrap .title .url { display: none !important; }
 .tac-set-intro { font-size: 14px; line-height: 1.5; opacity: .75; margin: 2px 0 14px; }
 
 /* Recommended settings — quality preset picker (High / Medium / Low / Custom). */