7 commits

Author	SHA1	Message	Date
Joscha	d9722e13f7	Rename navbar components	2025-01-28 22:26:47 +01:00
Joscha	ef9679e18c	Tweak formatting	2025-01-28 22:17:53 +01:00
Joscha	4f16dc4c5d	Update dropdown size and position	2025-01-28 13:26:01 +01:00
Joscha	739af21519	Overflow dropdown menu	2025-01-28 13:06:55 +01:00
Joscha	ccc41f96d8	AdSelect and delete repos	2025-01-28 12:53:27 +01:00
Joscha	4d798dd2e2	Abbreviate selected repo name if too long	2025-01-28 02:55:14 +01:00
Joscha	45d97388ee	Create navbar dropdown menu	2025-01-28 02:55:14 +01:00