Add a prominent link to the full portfolio

The top bar's accent button becomes Portfolio (Email stays in the hero and
the contact band), the hero gets a Full portfolio button, and the project
list ends with a large block linking to it. The link points at Gitea's list
of repos with the portfolio topic; the sync supplies the count and the
resume file can override the target and label. Also eases the display
weight and tracking of the name in the dark theme.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XtcZtnG4GQA1d6mW5PNrS9

lib/types.ts

@@ -40,5 +40,8 @@ export type Project = {
   demo?: Demo
 }
 
+// Where "the full portfolio" lives: Gitea's public list of repos with the portfolio topic, and how many there are.
+export type Portfolio = { href: string; count?: number; label?: string }
+
 // Shape of /data/resume.json, written every minute by the server-side sync.
-export type Live = { generated_at: string; resume: Resume; projects: Project[] }
+export type Live = { generated_at: string; resume: Resume; portfolio?: Portfolio; projects: Project[] }