Dashboard: Badges für Sessions (Kontext) und Agents (Features, Skills, Model-Name)

- prettyModelName() von chat.js nach ui.js als globale Funktion verschoben
- Session-Cards: Kontext-Badge mit Tooltip wenn context vorhanden
- Agent-Cards: Badges für ToolChoice:any, AutoCommit, Soul, Identity, UserInfo, Memory
- Agent-Cards: Skill-Badges pro aktiviertem Skill (parallel geladen)
- Agent-Cards: Model-Name via prettyModelName() statt roher Model-ID
- Neue CSS-Klassen: badge-feature, badge-forced-feature, badge-skill
- Theme: primary/dangerous Farben angepasst
- Chat: Input overflow hidden→auto

wwwroot/css/dashboard.css

@@ -103,6 +103,31 @@
   border-radius: var(--border-radius);
 }
 
+.card-badges {
+  display: flex;
+  flex-wrap: wrap;
+  gap: var(--badge-spacing);
+  margin-top: var(--badge-spacing);
+}
+
+.badge-forced-feature {
+  background: rgb(from var(--dangerous) r g b / .1);
+  border-color: rgb(from var(--dangerous) r g b / .25);
+  color: var(--dangerous);
+}
+
+.badge-feature {
+  background: rgb(from var(--primary) r g b / .1);
+  border-color: rgb(from var(--primary) r g b / .25);
+  color: var(--primary);
+}
+
+.badge-skill {
+  background: rgb(from var(--secondary) r g b / .1);
+  border-color: rgb(from var(--secondary) r g b / .25);
+  color: var(--secondary);
+}
+
 #newAgentCard,
 #newSessionCard {
   margin-top: var(--box-spacing);
@@ -196,8 +221,7 @@
 
 .git-badge {
   padding: var(--badge-padding);
-  font-family: var(--mono);
-  font-size: var(--mono-size);
+  font-size: var(--font-size);
   border-radius: var(--border-radius);
 }