Switch to Inter, round the corners softly and make the nav switch tabs

Inter replaces General Sans (Inter Display for titles and big numbers).
Corners come back from before the squaring commit, scaled to a soft set
(16 cards, 14 buttons, 12 rows, 8 chips) and applied to the screens built
since. The nav is now a cluster of round frosted buttons that switches
Today, Routines, Goals, Groups and Progress in place inside Home: no
pushed pages, no back arrows, and Android back returns to Today.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KhQh614DMeYoQEH9SoMRUw

frontend/lib/Grounded/see/group/GroupGoalEditorState.dart

@@ -195,8 +195,7 @@ class GroupGoalEditorState extends State<GroupGoalEditor>
               maxLines: 2,
             ),
             const SizedBox(height: 28),
-            sectionBreak("Objectives",
-                caption: "what everyone logs toward"),
+            sectionBreak("Objectives", caption: "what everyone logs toward"),
             text(
               "Break the goal into numbers people can add to: kilometres, sessions, pages, hours. Each member logs their share and the totals add up.",
               12,
@@ -288,7 +287,8 @@ class GroupGoalEditorState extends State<GroupGoalEditor>
                           keyboard: const TextInputType.numberWithOptions(
                               decimal: true),
                           formatters: <TextInputFormatter>[
-                            FilteringTextInputFormatter.allow(RegExp(r"[0-9.]")),
+                            FilteringTextInputFormatter.allow(
+                                RegExp(r"[0-9.]")),
                           ],
                         ),
                       ),