From 3ae456f73086cfc8b499cbebeae35809bbbaff29 Mon Sep 17 00:00:00 2001 From: jahooma Date: Thu, 13 Jan 2022 17:15:32 -0600 Subject: [PATCH] Remove unnecessary margin from navbar --- web/components/menu.tsx | 5 +---- web/components/nav-bar.tsx | 2 +- web/components/profile-menu.tsx | 4 ---- 3 files changed, 2 insertions(+), 9 deletions(-) diff --git a/web/components/menu.tsx b/web/components/menu.tsx index 5b8ffd86..2274afc0 100644 --- a/web/components/menu.tsx +++ b/web/components/menu.tsx @@ -9,10 +9,7 @@ export function MenuButton(props: { }) { const { buttonContent, menuItems, className } = props return ( - +
Open user menu diff --git a/web/components/nav-bar.tsx b/web/components/nav-bar.tsx index ec80fbab..d4abd801 100644 --- a/web/components/nav-bar.tsx +++ b/web/components/nav-bar.tsx @@ -30,7 +30,7 @@ export function NavBar(props: { > - + {(user || user === null) && ( )} diff --git a/web/components/profile-menu.tsx b/web/components/profile-menu.tsx index 4f20a1a5..4bbe48c4 100644 --- a/web/components/profile-menu.tsx +++ b/web/components/profile-menu.tsx @@ -51,10 +51,6 @@ function getNavigationOptions(user: User, options: { mobile: boolean }) { name: 'Your markets', href: `/${user.username}`, }, - // { - // name: 'Add funds', - // href: '/add-funds', - // }, { name: 'Discord', href: 'https://discord.gg/eHQBNBqXuh',